Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edición: | 1st ed. 2007. |
| Colección: | Programming and Software Engineering,
4709 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.