Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Giese, Holger (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6150
• Subjects: Computer science.; Computer communication systems.; Special purpose computers.; Data encryption (Computer science).; Algorithms.; Computers and civilization.; Computer Science.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Data Encryption.; Information Systems Applications (incl. Internet).; Computers and Society.; Algorithm Analysis and Problem Complexity.

Architecting critical systems has gained major importance in commercial, g- ernmentalandindustrialsectors. Emergingsoftwareapplicationsencompasscr- icalities that are associated with either the whole system or some of its com- nents. Therefore, e?ective methods, techniques, and tools for constructin...