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...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , , |
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science
2852 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
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 |
সূচিপত্রের সারণি:
- 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.