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 short papers included in this volume were carefully re...Lasīt vairāk
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 short papers included in this volume were carefully re...Lasīt vairāk
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, Finland. The 32 regular papers included in this vol...Lasīt vairāk
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, Finland. The 32 regular papers included in this vol...Lasīt vairāk
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 full papers presented in this book were carefully...Lasīt vairāk
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 full papers presented in this book were carefully...Lasīt vairāk
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 papers presented in this volume were carefully revi...Lasīt vairāk
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 papers presented in this volume were carefully revi...Lasīt vairāk
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 caref...Lasīt vairāk
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 caref...Lasīt vairāk
Sērija : Chapman & Hall/CRC Computer and Information Science Series
(Izdošanas datums: 03-Oct-2016, EPUB+DRM, Izdevniecība: Taylor & Francis Inc, ISBN-13: 9781315352091)
From the Foreword"e;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...Lasīt vairāk
Sērija : Chapman & Hall/CRC Computer and Information Science Series
(Izdošanas datums: 03-Oct-2016, PDF+DRM, Izdevniecība: Taylor & Francis Inc, ISBN-13: 9781498742481)
From the Foreword"e;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...Lasīt vairāk
This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed...Lasīt vairāk
Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 12-Sep-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642408946)
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 full papers were carefully reviewed and selected from...Lasīt vairāk
(Izdošanas datums: 09-Jul-2013, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642331701)
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...Lasīt vairāk
(Izdošanas datums: 14-Mar-2013, PDF+DRM, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781475735734)
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...Lasīt vairāk
(Izdošanas datums: 29-Jun-2011, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642213380)
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 invit...Lasīt vairāk
Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
Sērija : Programming and Software Engineering
(Izdošanas datums: 30-Mar-2011, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540318460)
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 chapters included are devoted to various techniques and me...Lasīt vairāk
Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Sērija : Programming and Software Engineering
(Izdošanas datums: 03-Mar-2009, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642008672)
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, high dependability requirements that systems have to m...Lasīt vairāk
Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky
Sērija : Programming and Software Engineering
(Izdošanas datums: 04-Jan-2008, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540318699)
FIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesin,andapplicationsof,softwareengineeringfordistributed application development. Concerning the technologies, the workshop focused on "e;Java-related&q...Lasīt vairāk
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 29-Aug-2007, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540740353)
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, it is reasonable that dependability is addressed a...Lasīt vairāk
Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky
Sērija : Programming and Software Engineering
(Izdošanas datums: 22-Aug-2007, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540731313)
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 large-scale distributed systems. Multi-agent systems (M...Lasīt vairāk
Patrizio Pelliccione, Henry Muccini, Alexander Romanovsky, Nicolas Guelfi
Sērija : Series On Software Engineering And Knowledge Engineering
(Izdošanas datums: 13-Aug-2007, PDF+DRM, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814476102)
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 late during the design and implementation phases of th...Lasīt vairāk
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 01-Aug-2007, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540451778)
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 addres...Lasīt vairāk
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
Sērija : Programming and Software Engineering
(Izdošanas datums: 23-Nov-2006, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540482673)
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 code. Some of these "e;faults"e; could also b...Lasīt vairāk
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 04-Oct-2006, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540374459)
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 arch...Lasīt vairāk
Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky
Sērija : Programming and Software Engineering
(Izdošanas datums: 27-Apr-2006, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540335832)
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 of intense intellectual, scienti c, and engineering...Lasīt vairāk
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 27-Sep-2005, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540316480)
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, it is reasonable that dependability is addressed a...Lasīt vairāk
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 29-Nov-2004, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540259398)
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 a...Lasīt vairāk
Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S.C. Alencar
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 24-Feb-2004, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540246251)
Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems. Agent technology has been applied to a wide range of application - mains, including e-commer...Lasīt vairāk
Alexander Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Anand Tripathi
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 29-Jun-2003, PDF+DRM, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540454076)
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 e...Lasīt vairāk
