"11" Result
Sort By:
Formal methods for components and objects: 7th international symposium, FMCO 2008, Sophia An…
by Boer, Frank S. de, Bonsangue, Marcello M., Madelaine, Eric, FMCO, Sophia Antipolis, FMCO, Sophia Antipolis, France), International Symposium on Formal Methods for Components and Objects, Sophia Antipolis, France)
0
Type: Book
Annotation
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been appli…