Prof. Alexander Romanovsky works in the School of Computing Science, Newcastle University; he has been working on system dependability and fault tolerance for many years, in particular on reasoning about faults and fault tolerance during early phases of system development, and he coordinated the related RODIN and DEPLOY projects.
Dr. Martyn Thomas in an industrialist who has been concerned with safety-critical and other high-dependence computer systems since the 1980s.
26 Ebooks tarafından Alexander Romanovsky
Alexander Romanovsky & Martyn Thomas: Industrial Deployment of System Engineering Methods
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 …
PDF
İngilizce
€53.49
Patrizio Pelliccione & Henry Muccini: SOFTWARE ENGINEERING OF FAULT TOLERANT..
In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered lat …
PDF
İngilizce
DRM
€269.99
Fuyuki Ishikawa & Alexander Romanovsky: Trustworthy Cyber-Physical Systems Engineering
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 …
EPUB
İngilizce
DRM
€57.90
Paul Ezhilchelvan & Alexander Romanovsky: Concurrency in Dependable Computing
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 u …
PDF
İngilizce
DRM
€165.11
Fuyuki Ishikawa & Alexander Romanovsky: Trustworthy Cyber-Physical Systems Engineering
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 …
PDF
İngilizce
DRM
€57.19
Thierry Lecomte & Ralf Pinger: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the refereed proceedings of the First International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2016, held in Paris, France, in June 2016.The 15 …
PDF
İngilizce
DRM
€57.78
Alexander Romanovsky & Elena A. Troubitsyna: Software Engineering for Resilient Systems
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 …
EPUB
İngilizce
DRM
€57.60
Alessandro Fantechi & Thierry Lecomte: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 p …
EPUB
İngilizce
DRM
€57.88
Paulo S.C. Alencar & Jaelson Castro: Software Engineering for Multi-Agent Systems II
Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems. Agent technology has been applied to a wi …
PDF
İngilizce
DRM
€57.61
Cristina Gacek & Rogerio de Lemos: Architecting Dependable Systems II
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 …
PDF
İngilizce
DRM
€57.78
Cristina Gacek & Rogerio de Lemos: Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, …
PDF
İngilizce
DRM
€58.04
Ricardo Choren & Alessandro Garcia: Software Engineering for Multi-Agent Systems III
This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapter …
PDF
İngilizce
DRM
€57.91
Nicolas Guelfi & Gianna Reggio: Scientific Engineering of Distributed Java Applications
FIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesin, andapplicationsof, softwareengineeringfordistributed application development. Concerning the techno …
PDF
İngilizce
DRM
€57.05
Ricardo Choren & Alessandro Garcia: Software Engineering for Multi-Agent Systems IV
With the integration of computing and communication into the very fabric of our social, economic, and personal existence, the manner in which we think about and build software has become the subject …
PDF
İngilizce
DRM
€58.04
Christophe Dony & Jorgen Lindskov Knudsen: Advanced Topics in Exception Handling Techniques
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 handli …
PDF
İngilizce
DRM
€57.17
Cristina Gacek & Rogerio de Lemos: Architecting Dependable Systems
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 pro …
PDF
İngilizce
DRM
€57.78
Christophe Dony & Jorgen Lindskov Knudsen: Advances in Exception Handling Techniques
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 o …
PDF
İngilizce
DRM
€57.81
Michael Butler & Cliff Jones: Rigorous Development of Complex Fault-Tolerant Systems
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the co …
PDF
İngilizce
DRM
€57.99
Ricardo Choren & Alessandro Garcia: Software Engineering for Multi-Agent Systems V
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. Agent concepts hold great promise for responding to the new realities of larg …
PDF
İngilizce
DRM
€57.35
Cristina Gacek & Rogerio de Lemos: Architecting Dependable Systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, …
PDF
İngilizce
DRM
€57.78
Michael Butler & Cliff B. Jones: Methods, Models and Tools for Fault Tolerance
The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, hig …
PDF
İngilizce
DRM
€57.42
Alexander Romanovsky & Tullio Vardanega: Reliable Software Technologies – Ada-Europe 2011
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 revi …
PDF
İngilizce
DRM
€57.88
Anatoliy Gorbenko & Vyacheslav Kharchenko: Software Engineering for Resilient Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised ful …
PDF
İngilizce
DRM
€51.27
Simon Collart-Dutilleul & Thierry Lecomte: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 …
EPUB
İngilizce
DRM
€64.44
Friedemann Bitsch & Ilir Gashi: Computer Safety, Reliability, and Security
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, …
EPUB
İngilizce
DRM
€76.87
Friedemann Bitsch & Alexander Romanovsky: Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 sho …
EPUB
İngilizce
DRM
€63.79
