Record Detail Back
Unifying Theories of Programming and Formal Engineering Methods
- Share to:
Model-Driven Software Development is nowadays taken as a mainstream methodology. In the software engineering community, it is a synonym of the OMG Model-Driven Architecture (MDA). However, in the formal method community, model-driven development is broadly seen as model-based techniques for software design and verification. Because of the difference between the nature of research and practical model- driven software engineering, there is a gap between formal techniques, together with their tools, and their potential support to practical soft- ware development. In order to bridge this gap, we define the meanings of component-based software architectures in this chapter, and show how software architectures are formally modeled in the formal model-driven engineering method rCOS. With the semantics of software architecture components, their compositions and refinements, we demonstrate how appropriate formal techniques and their tools can be applied in an MDA development process.
Zhiming Liu,Jim Woodcock and Huibiao Zhu - Personal Name
978-3-642-39721-9
NONE
Information Technology
English
2013
1-292
LOADING LIST...
LOADING LIST...