Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The 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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Σειρά: | Lecture Notes in Computer Science,
4709 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
