Model-Driven Design of Object and Component Systems.

Zhiming Liu,Xiaohong Chen
DOI: https://doi.org/10.1007/978-3-319-29628-9_4
2014-01-01
Abstract:The notion of software engineering implies that software design and production should be based on the types of theoretical foundations and practical disciplines that are established in the traditional branches of engineering. The goal is to make development of complex software systems more predictable and the systems developed more trustworthy - safe, secure and dependable. A number of theories have been well developed in the past half a century, including Abstract Data Types, Hoare Logic, Process Calculi, and I/O automata, and those alike. Based on them, techniques and tools have been developed for software specification, refinement and verification.
What problem does this paper attempt to address?