- Formal models
- Formal techniques for specification, design or analysis
- Verification, testing and validation
- Component-based design
- Formal aspects of service oriented computing
- Semantics of programming, coordination or modelling languages
- Type systems for programming, coordination or modelling languages
- Behavioural typing
- Multiple viewpoint modelling and consistency between different models
- Transformations of models
- Integration of quality of service requirements into formal models
- Formal models for security
- Formal approaches to distributed component frameworks
- Applications and experience, carefully described
|