Model-Driven Design of Object and Component Systems

摘要: The notion of software engineering implies that design and production should be based on the types theoretical foundations practical disciplines are established in traditional branches engineering. goal is to make development complex systems more predictable developed trustworthy - safe, secure dependable. A number theories have been well past half a century, including Abstract Data Types, Hoare Logic, Process Calculi, I/O automata, those alike. Based them, techniques tools for specification, refinement verification.