More Books:

Formal Methods for Software Architectures
Language: en
Pages: 285
Authors: Paola Paola, Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2003-09-12 - Publisher: Springer Science & Business Media

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout
Formal Methods for Software Architectures
Language: en
Pages: 289
Authors: Marco Bernardo, Paola Inverardi
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout
Formal Methods and Software Engineering
Language: en
Pages: 792
Authors: Zhiming Liu, Jifeng He
Categories: Computers
Type: BOOK - Published: 2006-10-24 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 270
Authors: Roberto Gorrieri, Heike Wehrheim
Categories: Computers
Type: BOOK - Published: 2006-06-09 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes
Formal Methods for Components and Objects
Language: en
Pages: 371
Authors: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Categories: Computers
Type: BOOK - Published: 2004-11-08 - Publisher: Springer

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and