by Mandrioli, Dino, International Symposium of Formal Methods Europe, Pisa, Italy), Araki, Keijiro, Gnesi, Stefania, Formal Methods Europe (Organization), Institute for Informatics Science and Technology (ISTI), CoLogNET
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions.…
Annotation The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. F…
by Boer, Frank S. de, Aichernig, Bernhard K., Bonsangue, Marcello M., International Symposium on Formal Methods for Components and Objects, Graz, Autriche)
fromLecture Notes in Computer Science
Annotation The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. F…
