Formal methods for components and objects : First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
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 a...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2852 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal methods for components and objects, First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, revised lectures, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf...[et al.] (eds.), Berlin, Springer, 2003, 1 vol. (VIII-507 p.), Lecture notes in computer science, 3-540-20303-6 • Formal Methods for Components and Objects, Texte imprimé, 9783662210291 |
| LEADER | 05658nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 948868 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155194917 | ||
| 020 | |a 9783540396567 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a FMCO 2002 |n (1st |c :Leiden, The 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 [edited by] Frank S. Boer, Marcello M. Bonsangue, Susanne Graf... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2852 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Composants logiciels | ||
| 650 | |a Programmation orientée objets (informatique) | ||
| 650 | |a Programmation système (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Boer, Frank S. De. |4 pbd | |
| 700 | 1 | |a Bonsangue, Marcello M. |4 pbd | |
| 700 | 1 | |a Graf, Susanne, |d 19..-...., |c auteure en informatique. |4 pbd | |
| 776 | 0 | |0 074649361 |t Formal methods for components and objects |o First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 |o revised lectures |f Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf...[et al.] (eds.) |c Berlin |n Springer |d 2003 |p 1 vol. (VIII-507 p.) |s Lecture notes in computer science |z 3-540-20303-6 | |
| 776 | 0 | |t Formal Methods for Components and Objects |b Texte imprimé |z 9783662210291 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b14033 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-03VD8SX0-Q |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748054456 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b14033 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751505706 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b14033 |z Accès INSA CVL | |
| 997 | |0 948868 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||