Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied...
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012, 2012
|
Edition: | 1st ed. 2012 |
Series: | Programming and Software Engineering
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- ASLan++ — A formal security specification language for distributed Systems
- Orchestration under Security Constraints
- Customizing protocol specifications for detecting resource exhaustion and guessing attacks
- ving the Usability of Specification Languages and Methods for Annotation-based Verification
- Program Specialization Via a Software Verification Tool
- Model–Based Analysis Tools for Component Synthesis
- Shared Event Composition/Decomposition in Event-B
- ABS: A Core Language for Abstract Behavioral Specification
- A Component Model for the ABS Language
- Compositional Algorithmic Verification of Software Product Lines
- Variability Modelling in the ABS Language
- Automated Verification of Executable UML Models
- Verification of UML models by translation to UML-B
- Towards the UML-based Formal Verification of Timed Systems
- Generic Fault Modelling for Fault Injection
- Tightening Test Coverage Metrics:A Case Study in Equivalence Checking using k-Induction
- The Hierarchical Compositional Interchange Format
- Application of Model-Checking Technology to Controller Synthesis
- Testing Real-time Systems under Uncertainty
- Model-Checking and Simulation for Stochastic Timed Systems