-
Software fault tolerance : Achievement and assessment strategies /
-
Fault-tolerant distributed computing /
-
Safety of computer control systems 1992 : Computer systems in safety-critical Applications : Konf. SAFECOMP'92, Zürich, Swizerland, 28.- 30. Oct. 1992 /
-
Safety aspects of computer control /
-
Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 /
-
Aspect-oriented : Software Development
-
201 principles of software development /
-
Directions in safety-critical systems : Proceedings of the first symposium : Konf. Bristol, 9.- 11. Feb. 1993 /
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Digest of papers fault-tolerant computing: 10th international symposium : Konf. FTCS 10 Digest of papres, 1.- 3. Oct. 1980
-
Design and use of software architectures : Adopting and evolving a product-line approach
-
The Reliability of Mechanical Systems /
-
Temporal verification of reactive systems : Safety /
-
Digest of papers fault-tolerant computing: 20th international symposium : Konf. FTCS 20 Digest of papres, Newcastle upon Tyne, England, 26.- 28. June 1990
-
The unified modeling language reference manual
-
The unified software development process
-
Software architecture : Perspectives on an emerging discipline /
-
Computer and Information Security Handbook /
-
Visual modeling with rational rose 2000 and UML
-
Logic and algebra of specification /
-
Proceedings of the 1998 international conference od software engineering : ISCE 98. Kyoto, Japan. 19.- 25. april 1998
-
Distributed computing: Fundamentals, simulations and advanced topics
-
Software projects : Evolutionary vs. big-bang delivery /
-
Software architecture in practice