Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
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 th...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
2003
Berlin ; New York : c2003 |
| Series: | Lecture notes in computer science ;
2852 Lecture notes in computer science 2852 |
| Subjects: |
| LEADER | 06956nam a22008774a 4500 | ||
|---|---|---|---|
| 001 | 789c955c-48ca-4279-a0d4-8aba95f7e027 | ||
| 005 | 20230802000000.0 | ||
| 008 | 030930s2003 gw a b 101 0 eng | ||
| 010 | |a 2003066671 | ||
| 015 | |a GBA3-78589 | ||
| 015 | |a GBA378589 |2 bnb | ||
| 016 | 7 | |a 009728075 |2 Uk | |
| 016 | 7 | |a 968849024 |2 DE-101 | |
| 019 | |a 66777823 |a 436629320 |a 648147362 |a 768063974 | ||
| 020 | |a 3540203036 (alk. paper) | ||
| 020 | |a 354039656X |q (electronic bk.) | ||
| 020 | |a 9783540203032 (alk. paper) | ||
| 020 | |a 9783540396567 |q (electronic bk.) | ||
| 020 | |z 3540203036 | ||
| 020 | |z 9783540203032 | ||
| 035 | |a (MCM)001232245MIT01 | ||
| 035 | |a (OCoLC)53183415 | ||
| 035 | |a (OCoLC)53971121 |z (OCoLC)66777823 |z (OCoLC)436629320 |z (OCoLC)648147362 |z (OCoLC)768063974 | ||
| 035 | |a (OCoLC-I)270336929 | ||
| 035 | |a (OCoLC-M)53183415 | ||
| 035 | |l (OCoLC)53971121 | ||
| 040 | |a COO |b eng |e pn |c COO |d HNK |d BAKER |d WAU |d YNG |d OCLCQ |d DKDLA |d OCLCQ |d NLGGC |d GW5XE |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d NAM |d YDX | ||
| 040 | |a DLC |c DLC |d YDX |d OHX |d UKM |d C$Q |d BAKER |d NLGGC |d BTCTA |d YDXCP |d LVB |d UQ1 |d IG# |d STF |d MYG |d OrLoB-B | ||
| 040 | |a DLC |c DLC |d YDX |d OHX |d UKM |d CSt | ||
| 042 | |a pcc | ||
| 049 | |a MAIN | ||
| 049 | |a MYGG | ||
| 050 | 4 | |a QA76.9.F67 |b F53 2002 | |
| 050 | 0 | 0 | |a QA76.9.F67 |b F53 2002 |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 0 | |a 005.3 |2 22 |
| 084 | |a 54.52 |2 bcl | ||
| 111 | 2 | |a FMCO (Symposium) |n (1st : |d 2002 : |c Leiden, Netherlands) |1 http://viaf.org/viaf/126461963 | |
| 111 | 2 | |a FMCO (Symposium) |n (1st : |d 2002 : |c Leiden, Netherlands) | |
| 245 | 1 | 0 | |a Formal methods for components and objects : |b first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / |c Frank S. de Boer ... [et al.] (eds.) |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c 2003 | ||
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c2003 | ||
| 300 | |a 1 online resource (viii, 507 pages) : |b illustrations | ||
| 300 | |a viii, 507 p. : |b ill. ; |c 24 cm | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 2852 | |
| 504 | |a Includes bibliographical references and index | ||
| 505 | 0 | 0 | |t A Tool-Supported Prof System for Multithreaded Java / |r E. Abraham, F. S. de Boer, W.-P. de Roever and M. Steffen -- |t Abstract Behavior Types: A Foundation Model for Components and Their Composition / |r F. Arbab -- |t Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML / |r W. Damm, B. Josko, A. Pnueli and A. Votintseva -- |t Live and Let Die: LSC-Based Verification of UML-Models / |r W. Damm and B. Westphal -- |t Reactive Animation / |r D. Harel, S. Efroni and I. R. Cohen -- |t Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software / |r X. Deng, M. B. Dwyer, J. Hatcliff and G. Jung / |r Robby / |r G. Singh -- |t Equivalent Semantic Models for a Distributed Dataspace Architecture / |r J. Hooman and Jaco van de Pol -- |t Java Program Verification Challenges / |r B. Jacobs, J. Kiniry and M. Warnier -- |t ToolBus: The Next Generation / |r H. De Jong and P. Klint -- |t High-Level Specifications: Lessons from Industry / |r B. Batson and L. Lamport -- |t How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification / |r G. T. Leavens, Y. Cheon, C. Clifton, C. Ruby and D. R. Cok -- |t Finding Implicit Contracts in .NET Components / |r K. Arnout and B. Meyer -- |t From Co-algebraic Specifications to Implementation: The Mihda Toolkit / |r G. Ferrari, U. Montanari, R. Raggi and E. Tuosto -- |t A Calculus for Modeling Software Components / |r O. Nierstrasz and F. Achermann -- |t Specification and Inheritance in CSP-OZ / |r E.-R. Olderog and H. Wehrheim -- |t Model-Based Testing of Object-Oriented Systems / |r B. Rumpe -- |t Concurrent Object-Oriented Program: From Specification to Code / |r E. Sekerinski -- |t Design with Asynchronously Communicating Components / |r J. Plosila, K. Sere and M. Walden -- |t Composition for Component-Based Modeling / |r G. Gossler and J. Sifakis -- |t Games for UML Software Design / |r P. Stevens and J. Tenzer -- |t Making Components Move: A Separation of Concerns Approach / |r D. Pattinson and M. Wirsing |
| 520 | |a 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 | ||
| 530 | |a Also available on the Internet to registered users | ||
| 530 | |a Also available via the World Wide Web | ||
| 596 | |a 31 | ||
| 650 | 0 | |a Component software |v Congresses | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 0 | |a Object-oriented programming (Computer science) |v Congresses | |
| 650 | 7 | |a Component software |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 650 | 7 | |a Object-oriented programming (Computer science) |2 fast | |
| 655 | 4 | |a Electronic books | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 lcgft | |
| 700 | 1 | |a Boer, Frank S. de |1 http://viaf.org/viaf/74904406 | |
| 700 | 1 | |a Boer, Frank S. de | |
| 776 | 0 | 8 | |i Print version:FMCO 2002 (2002 : Leiden, Netherlands) |t Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures |w (OCoLC)53183415 |
| 776 | 1 | |w (OCoLC)53971121 | |
| 830 | 0 | |a Lecture notes in computer science ; |v 2852 | |
| 830 | 0 | |a Lecture notes in computer science |v 2852 | |
| 999 | 1 | 0 | |i 789c955c-48ca-4279-a0d4-8aba95f7e027 |l a5544212 |s US-CST |m formal_methods_for_components_and_objectsfirst_international_symposium_____2003_______sprina________________________________________fmco__symposium____________________e |
| 999 | 1 | 0 | |i 789c955c-48ca-4279-a0d4-8aba95f7e027 |l 11065270 |s US-ICU |m formal_methods_for_components_and_objectsfirst_international_symposium_____2003_______sprina________________________________________fmco__symposium____________________e |
| 999 | 1 | 0 | |i 789c955c-48ca-4279-a0d4-8aba95f7e027 |l 990012322450106761 |s US-MCM |m formal_methods_for_components_and_objectsfirst_international_symposium_____2003_______sprina________________________________________fmco__symposium____________________e |
| 999 | 1 | 1 | |l a5544212 |s ISIL:US-CST |t BKS |a SAL3 STACKS |b 36105113660109 |c QA76.9 .F67 F53 2002 |d LC |x STKS-MONO |y 36105113660109 |p LOANABLE |
| 999 | 1 | 1 | |l 990012322450106761 |s ISIL:US-MCM |t BKS |a LSA OCC |b 39080022854977 |c QA76.9.F67.F53 2002 |d 0 |x BOOK |y 23462538570006761 |p UNLOANABLE |