DocumentCode
2843167
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
fYear
2005
fDate
4-7 April 2005
Firstpage
307
Lastpage
314
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Print_ISBN
0-7695-2308-0
Type
conf
DOI
10.1109/ECBS.2005.24
Filename
1409930
Link To Document