Formal methods for components and objects : first international symposium ; revised lectures

Konferenzschrift | Kongress

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002. The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540203032 ; 3540203036
• Dimensions: 24 cm
• Extent: VIII, 507 S.
• Language: Englisch
• Notes: graph. Darst. ; Literaturangaben

References and Relationships

• Bibliographic citation: Lecture notes in computer science ; Vol. 2852

Classification and Topics

• Keyword: Softwareentwicklung ; Formale Methode ; Softwareentwicklung ; Objektorientierung ; Komponente ; Softwareentwicklung ; Formale Spezifikationstechnik

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
• (who): Springer
• (when): 2003
• Contributor: Boer, Frank S. de ; FMCO (1 : 2002 : Leiden)

Further information

• Table of contents: https://d-nb.info/968849024/04
• Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Last update: 11.06.2025, 1:33 PM CEST