Architecting dependable systems V
- Author
- Rogério Lemos, Felicita Giandomenico, Cristina Gacek, …
- Publication Year
- 2008
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read book
As software systems become increasingly 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 at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.
Keywords: Computer science / Middleware / Software Engineering / Web Services / Design / Event-based systems / Event-based systems / Overlay / Rigorous / design / Semantic / Software architecture / State machine / Structured analysis / Validation / Verification / Virtualization
