by Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Formal Methods for Software Architectures» is the conference volume edited by Marco Bernardo and Paola Inverardi, in paperback, published by Springer.
Software architecture has become central to the development of complex systems, applied from requirements analysis to execution. This volume brings together tutorial lectures on formal methods: modeling and analysis of components and connectors, correct assembly, evolution, mobile computing, performance and dependability.
Volume 2804 of the Lecture Notes in Computer Science series. It corresponds to the Third International School SFM 2003, held in Bertinoro (Italy) in September 2003.
Intended for students of advanced software architecture courses and for engineers who use formal techniques in their daily work.
Tapa blanda
Tapa blanda
