X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Buch
    Buch
    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
    Umfang: VIII, 507 S. , Graph. Darst.
    ISBN: 3540203036
    Serie: Lecture notes in computer science 2852
    Inhalt: 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
    Anmerkung: Literaturangaben
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Boer, Frank S.de Formal Methods for Components and Objects Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540203032
    Sprache: Deutsch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): 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
    Mehr zum Autor: Roever, Willem-Paul de 1943-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    UB Potsdam get availability status
  • 2
    Buch
    Buch
    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
    Umfang: VIII, 507 Seiten , graph. Darst.
    ISBN: 3540203036
    Serie: Lecture notes in computer science 2852
    Anmerkung: Text engl.
    Sprache: Englisch
    Schlagwort(e): Formale Methode ; Kongress ; Leiden 〈2002〉 ; Kongress
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    Berlin VÖBB/ZLB get availability status
  • 3
    Buch
    Buch
    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
    Umfang: VIII, 507 S.
    ISBN: 3-540-20303-6
    Serie: Lecture notes in computer science 2852 : Tutorial
    Anmerkung: Includes bibliographical references and index
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Softwareentwicklung ; Formale Methode ; Softwareentwicklung ; Objektorientierung ; Komponente ; Softwareentwicklung ; Formale Spezifikationstechnik ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    FU Berlin get availability status
  • 4
    Online-Ressource
    Online-Ressource
    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
    Umfang: Online-Ressource (VIII, 509 p. Also available online) , digital
    Ausgabe: Springer eBook Collection. Computer Science
    ISBN: 9783540396567 , 3540203036 , 9783540203032
    Serie: Lecture Notes in Computer Science 2852
    Inhalt: 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
    Weitere Ausg.: ISBN 9783540203032
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662210291
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540203032
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Formale Methode ; Konferenzschrift
    DOI: 10.1007/b14033
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    URL: Inhaltsverzeichnis
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    UB Potsdam
  • 5
    Online-Ressource
    Online-Ressource
    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
    Umfang: VIII, 512 p. , online resource.
    ISBN: 9783540396567
    Serie: Lecture Notes in Computer Science, 2852
    Inhalt: 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.
    Anmerkung: 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
    Weitere Ausg.: Printed edition: ISBN 9783540203032
    Sprache: Englisch
    DOI: 10.1007/b14033
    URL: http://dx.doi.org/10.1007/b14033
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 6
    Online-Ressource
    Online-Ressource
    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
    Umfang: VIII, 512 p. , online resource.
    Ausgabe: 1st ed. 2003.
    ISBN: 9783540396567
    Serie: Lecture Notes in Computer Science, 2852
    Inhalt: 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.
    Anmerkung: 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
    Weitere Ausg.: Printed edition: ISBN 9783662210291
    Weitere Ausg.: Printed edition: ISBN 9783540203032
    Sprache: Englisch
    DOI: 10.1007/b14033
    URL: https://doi.org/10.1007/b14033
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 3520207036?
Meinten Sie 3530203033?
Meinten Sie 3402039036?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz