Title :
Checking and transforming models with AutoFOCUS
Author :
Schätz, Bernhard ; Braun, Peter ; Huber, Franz ; Wisspeintner, Alexander
Author_Institution :
Inst. fur Inf., Technische Univ. Munchen, Garching, Germany
Abstract :
The construction of increasingly sophisticated software systems demands techniques to reduce the complexity of the development process by supplying automated steps. In a model-based approach, operations to analyse and transform models of the system can be used to supply some automation for the development process. These operations can be embedded in a CASE-based approach to ensure conceptual consistency and support the application of design and process patterns.
Keywords :
computer aided software engineering; embedded systems; formal verification; AutoFOCUS model; CASE-based approach; embedded systems; formal verification; software systems; Application software; Automation; Computer aided software engineering; Embedded system; Process design; Productivity; Programming; Prototypes; Software systems; Unified modeling language;
Conference_Titel :
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Print_ISBN :
0-7695-2308-0
DOI :
10.1109/ECBS.2005.24
