wyszukanych pozycji: 14
Computer Safety, Reliability, and Security: Safecomp 2019 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Turku, Finland, September 10, 2019, Pr
ISBN: 9783030262495 / Angielski / Miękka / 2019 / 412 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
259,14 zł |
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, Uk, June 20-2
ISBN: 9783642213373 / Angielski / Miękka / 2011 / 227 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications;...
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, hel...
|
|
cena:
196,31 zł |
Software Engineering for Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
ISBN: 9783319659473 / Angielski / Miękka / 2017 / 201 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.
The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Genev...
|
|
cena:
196,31 zł |
Computer Safety, Reliability, and Security: 38th International Conference, Safecomp 2019, Turku, Finland, September 11-13, 2019, Proceedings
ISBN: 9783030266004 / Angielski / Miękka / 2019 / 316 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
227,72 zł |
Industrial Deployment of System Engineering Methods
ISBN: 9783642430640 / Angielski / Miękka / 2015 / 262 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to...
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where...
|
|
cena:
196,31 zł |
Trustworthy Cyber-Physical Systems Engineering
ISBN: 9781498742450 / Angielski / Twarda / 2016 / 462 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. From the Foreword "Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who wants to get a deep look at these concepts that will form a cornerstone for future CPS designs." --Phil Koopman, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA Trustworthy Cyber-Physical Systems Engineering... From the Foreword "Getting CPS dependability right is essential to forming a solid foundation for a world that i... |
|
cena:
553,01 zł |
Trustworthy Cyber-Physical Systems Engineering
ISBN: 9780367574420 / Angielski / Miękka / 2020 / 482 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
|
cena:
236,95 zł |
Concurrency in Dependable Computing
ISBN: 9781441952783 / Angielski / Miękka / 2010 / 332 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work.
Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception... Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components,...
|
|
cena:
589,01 zł |
Industrial Deployment of System Engineering Methods
ISBN: 9783642331695 / Angielski / Twarda / 2013 / 262 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to...
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where...
|
|
cena:
196,31 zł |
Architecting Dependable Systems II
ISBN: 9783540231684 / Angielski / Miękka / 2004 / 350 str. Termin realizacji zamówienia: ok. 20 dni roboczych. As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is addressed at the architectural level. This book results from an effort to bring together the research communities of software architectures and dependability. Inspired by the ICSE 2003 Workshop on Software Architectures for Dependable Systems, the book focuses on topics relevant to improving the state of the art in architecting... As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be take... |
|
cena:
196,31 zł |
Architecting Dependable Systems
ISBN: 9783540407270 / Angielski / Miękka / 2003 / 311 str. Termin realizacji zamówienia: ok. 20 dni roboczych. As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level. This book is inspired by the ICSE 2002 Workshop on Architecting Dependable Systems; it is devoted to current topics relevant for improving the state of the art for architecting dependability. Some of the 13 peer-reviewed papers presented were initially presented at the workshop, others were invited in... As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issue... |
|
cena:
196,31 zł |
Advanced Topics in Exception Handling Techniques
ISBN: 9783540374435 / Angielski / Miękka / 2006 / 316 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. Exception handling is an essential part of software and system architectures and a crucial element in the tool-set that enables the building of resilient, robust and safe software systems. Two ECOOP workshops on exception handling were held in 2003 and 2005. This book is primarily an outcome of these two events - several workshop participants as well as a number of other leading researchers in the field were... Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, ... |
|
cena:
196,31 zł |
Concurrency in Dependable Computing
ISBN: 9781402070433 / Angielski / Twarda / 2002 / 310 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work.
Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception... Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components,...
|
|
cena:
589,01 zł |
Advances in Exception Handling Techniques
ISBN: 9783540419525 / Angielski / Miękka / 2001 / 292 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.
This book is composed of five parts, which deal with topics related to exception handling in the context of programming language... Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are incre...
|
|
cena:
196,31 zł |