Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009266220/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b13072231.
- catalog contributor b13072232.
- catalog created "2003.".
- catalog date "2003".
- catalog date "2003.".
- catalog dateCopyrighted "2003.".
- catalog description "A Tool-Supported Prof System for Multithreaded Java / E. Abraham, F.S. de Boer, W.-P. de Roever and M. Steffen -- Abstract Behavior Types: A Foundation Model for Components and Their Composition / F. Arbab -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML / W. Damm, B. Josko, A. Pnueli and A. Votintseva -- Live and Let Die: LSC-Based Verification of UML-Models / W. Damm and B. Westphal -- Reactive Animation / D. Harel, S. Efroni and I.R. Cohen -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software / X. Deng, M.B. Dwyer, J. Hatcliff and G. Jung / Robby / G. Singh -- Equivalent Semantic Models for a Distributed Dataspace Architecture / J. Hooman and Jaco van de Pol.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "viii, 507 p. :".
- catalog identifier "3540203036 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2852".
- catalog issued "2003".
- catalog issued "2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "005.3 22".
- catalog subject "Component software Congresses.".
- catalog subject "Computer science.".
- catalog subject "Formal methods (Computer science) Congresses.".
- catalog subject "Logic design.".
- catalog subject "Object-oriented programming (Computer science) Congresses.".
- catalog subject "Operating systems (Computers).".
- catalog subject "QA76.9.F67 F53 2002".
- catalog subject "Software engineering.".
- catalog tableOfContents "A Tool-Supported Prof System for Multithreaded Java / E. Abraham, F.S. de Boer, W.-P. de Roever and M. Steffen -- Abstract Behavior Types: A Foundation Model for Components and Their Composition / F. Arbab -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML / W. Damm, B. Josko, A. Pnueli and A. Votintseva -- Live and Let Die: LSC-Based Verification of UML-Models / W. Damm and B. Westphal -- Reactive Animation / D. Harel, S. Efroni and I.R. Cohen -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software / X. Deng, M.B. Dwyer, J. Hatcliff and G. Jung / Robby / G. Singh -- Equivalent Semantic Models for a Distributed Dataspace Architecture / J. Hooman and Jaco van de Pol.".
- catalog title "Formal methods for components and objects : first international symposium, FMCO 2002, leiden, The Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer ... [et al.] (eds.)".
- catalog type "Conference proceedings. fast".
- catalog type "text".