학술논문
A framework for formal specification of embedded systems
Document Type
Conference
Author
Source
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) Engineering of Computer-Based Systems Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the. :323-330 2005
Subject
Language
Abstract
This paper presents concepts of a specification-driven framework focusing on object-oriented design of embedded systems. It deals with tools and techniques aiming to prop formal specification and early design life cycle phases. Particularly, this contribution discusses logic calculus of objects, related class specification language, and techniques both for architecture specifications and for behavior specifications generated either from UML based semiformal behavioral diagrams or, as a reengineering tool, from source code.