Alessandro Aldini, Marco Bernardo, Flavio Corradini – A Process Algebraic Approach to Software Architecture Design
Published: 2009-11-27 | ISBN: 184800222X, 1848828209 | PDF | 304 pages | 2 MB
The design and the verification of modern software applications requires the analysis of several different aspects, such as software correctness, quality of service, and security, and of the possible inter-relations among them. Process algebraic architectural languages and the related analysis techniques provide a formal paradigm that allows for the modeling and analysis of such systems and of the related properties during the early stages of the design process.


14 Days Free Access to USENET
Free 300 GB with 10 GB High-Speed




Comments are closed.