Information Technology

Unifying Theories of Programming and Formal Engineering Methods

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: ., 2013

Collation

1-292

Language

English

ISBN/ISSN

978-3-642-39721-9

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

-

Edition

-

Subject(s)

Unifying Theories of Programming and Formal Engine

Specific Detail Info

-

Statement of Responsibility

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment