Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Franz Huber; Bernhard Schaetz 
Titel:
Integrated Development of Embedded Systems with AutoFocus 
Abstract:
This article presents AutoFocus, a tool prototype for formally based development of distributed, embedded systems. AutoFocus supports system development offering integrated, comprehensive and mainly graphical description techniques to specify different views as well as different levels of abstraction of a system. To avoid ill-defined specifications, consistency conditions on these system descriptions can be formulated and checked. Prototypes can be generated from consistent and executable specif...    »
 
Stichworte:
Formal methods; conceptual model; constraint; meta model; integration; view; semantic; simulation; model checking; visual; verification; validation; software engineering; tool; prototyping; model based 
Jahr:
2001 
Jahr / Monat:
2001-12-01 00:00:00