LEADER 06152nam 22007695 450 001 9910144032203321 005 20200702131315.0 010 $a3-540-39656-X 024 7 $a10.1007/b14033 035 $a(CKB)1000000000212217 035 $a(SSID)ssj0000323219 035 $a(PQKBManifestationID)11242977 035 $a(PQKBTitleCode)TC0000323219 035 $a(PQKBWorkID)10296452 035 $a(PQKB)10760102 035 $a(DE-He213)978-3-540-39656-7 035 $a(MiAaPQ)EBC3087430 035 $a(PPN)155194917 035 $a(EXLCZ)991000000000212217 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Components and Objects $eFirst International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /$fedited by Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (VIII, 512 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2852 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20303-6 320 $aIncludes bibliographical references and index. 327 $aA 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. 330 $aLargeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2852 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aOperating systems (Computers) 606 $aComputer logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aOperating systems (Computers). 615 0$aComputer logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aOperating Systems. 615 24$aLogics and Meanings of Programs. 676 $a005.3 702 $aBoer$b Frank S.de$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBonsangue$b Marcello$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGraf$b Susanne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Roever$b Willem-Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFMCO 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144032203321 996 $aFormal Methods for Components and Objects$9772145 997 $aUNINA