X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920537902882
    Format: VIII, 512 p. , online resource.
    ISBN: 9783540396567
    Series Statement: Lecture Notes in Computer Science, 2852
    Content: Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.
    Note: A Tool-Supported Proof System for Multithreaded Java -- Abstract Behavior Types: A Foundation Model for Components and Their Composition -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML -- Live and Let Die: LSC-Based Verification of UML-Models -- Reactive Animation -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software -- Equivalent Semantic Models for a Distributed Dataspace Architecture -- Java Program Verification Challenges -- ToolBus: The Next Generation -- High-Level Specifications: Lessons from Industry -- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification -- Finding Implicit Contracts in .NET Components -- From Co-algebraic Specifications to Implementation: The Mihda Toolkit -- A Calculus for Modeling Software Components -- Specification and Inheritance in CSP-OZ -- Model-Based Testing of Object-Oriented Systems -- Concurrent Object-Oriented Programs: From Specification to Code -- Design with Asynchronously Communicating Components -- Composition for Component-Based Modeling -- Games for UML Software Design -- Making Components Move: A Separation of Concerns Approach.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540203032
    Language: English
    DOI: 10.1007/b14033
    URL: http://dx.doi.org/10.1007/b14033
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 2
    Online Resource
    Online Resource
    Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (2003)
    Berlin : Springer
    Details
    UID:
    gbv_749186852
    Format: Online-Ressource (VIII, 509 p. Also available online) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783540396567 , 3540203036 , 9783540203032
    Series Statement: Lecture Notes in Computer Science 2852
    Content: 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
    Additional Edition: ISBN 9783540203032
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662210291
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540203032
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Formale Methode ; Konferenzschrift
    DOI: 10.1007/b14033
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 3
    Online Resource
    Online Resource
    Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621492202882
    Format: VIII, 512 p. , online resource.
    Edition: 1st ed. 2003.
    ISBN: 9783540396567
    Series Statement: Lecture Notes in Computer Science, 2852
    Content: Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5-8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.
    Note: A Tool-Supported Proof System for Multithreaded Java -- Abstract Behavior Types: A Foundation Model for Components and Their Composition -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML -- Live and Let Die: LSC-Based Verification of UML-Models -- Reactive Animation -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software -- Equivalent Semantic Models for a Distributed Dataspace Architecture -- Java Program Verification Challenges -- ToolBus: The Next Generation -- High-Level Specifications: Lessons from Industry -- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification -- Finding Implicit Contracts in .NET Components -- From Co-algebraic Specifications to Implementation: The Mihda Toolkit -- A Calculus for Modeling Software Components -- Specification and Inheritance in CSP-OZ -- Model-Based Testing of Object-Oriented Systems -- Concurrent Object-Oriented Programs: From Specification to Code -- Design with Asynchronously Communicating Components -- Composition for Component-Based Modeling -- Games for UML Software Design -- Making Components Move: A Separation of Concerns Approach.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662210291
    Additional Edition: Printed edition: ISBN 9783540203032
    Language: English
    DOI: 10.1007/b14033
    URL: https://doi.org/10.1007/b14033
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Book
    Book
    Formal methods for components and objects : first international symposium, Leiden, The Netherlands, November 5 - 8, 2002 ; revised lectures (2003)
    Berlin : Springer
    Details
    UID:
    gbv_37128709X
    Format: VIII, 507 S. , Graph. Darst.
    ISBN: 3540203036
    Series Statement: Lecture notes in computer science 2852
    Content: 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
    Note: Literaturangaben
    Additional Edition: Erscheint auch als Online-Ausgabe Boer, Frank S.de Formal Methods for Components and Objects Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540203032
    Language: German
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Softwareentwicklung ; Formale Methode ; Softwareentwicklung ; Objektorientierung ; Komponente ; Softwareentwicklung ; Formale Spezifikationstechnik ; Formale Methode ; Konferenzschrift
    URL: Cover
    URL: Einführung/Vorwort
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    URL: http://www.loc.gov/catdir/enhancements/fy0818/2003066671-d.html
    Author information: Roever, Willem-Paul de 1943-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
  • 5
    Book
    Book
    Formal methods for components and objects : first international symposium, Leiden, The Netherlands, November 5-8, 2002 ; revised lectures (2003)
    Berlin : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB13565329
    Format: VIII, 507 Seiten , graph. Darst.
    ISBN: 3540203036
    Series Statement: Lecture notes in computer science 2852
    Note: Text engl.
    Language: English
    Keywords: Formale Methode ; Kongress ; Leiden 〈2002〉 ; Kongress
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
  • 6
    Book
    Book
    Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5 - 8, 2003 ; revised lectures (2003)
    Berlin u.a. :Springer,
    Details
    UID:
    almafu_BV017599714
    Format: VIII, 507 S.
    ISBN: 3-540-20303-6
    Series Statement: Lecture notes in computer science 2852 : Tutorial
    Note: Includes bibliographical references and index
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Softwareentwicklung ; Formale Methode ; Softwareentwicklung ; Objektorientierung ; Komponente ; Softwareentwicklung ; Formale Spezifikationstechnik ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    FU Berlin get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540201052?
Did you mean 9783540201038?
Did you mean 9783540200031?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages