Chargement en cours…
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusabili...
| Cote: | Libro Electrónico |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , , , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Édition: | 1st ed. 2007. |
| Collection: | Programming and Software Engineering,
4709 |
| Sujets: | |
| Accès en ligne: | Texto Completo |
Table des matières:
- Testing
- Model-Based Testing of Environmental Conformance of Components
- Exhaustive Testing of Exception Handlers with Enforcer
- Model-Based Test Selection for Infinite-State Reactive Systems
- Program Verification
- Verifying Object-Oriented Programs with KeY: A Tutorial
- Rebeca: Theory, Applications, and Tools
- Learning Meets Verification
- Trust and Security
- JACK - A Tool for Validation of Security and Behaviour of Java Applications
- Towards a Formal Framework for Computational Trust
- Models of Computation
- On Recursion, Replication and Scope Mechanisms in Process Calculi
- Bounded Session Types for Object Oriented Languages
- Distributed Programming
- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring
- Links: Web Programming Without Tiers.