DocumentCode :
3481367
Title :
From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages
Author :
Schätz, Bernhard
Author_Institution :
fortiss GmbH, Munich, Germany
fYear :
2011
fDate :
18-22 July 2011
Firstpage :
454
Lastpage :
455
Abstract :
With the increased use of model-based techniques and the provision of domain-specific languages, the focus of the development process is shifting from the implementation to the analysis and the design phase. With this shift from the general-purpose, technical-oriented solution space to the application-specific, domain-oriented problem space, new possibilities of application open up for rigorous engineering techniques, both on the analysis and on the synthesis side of applications.
Keywords :
formal specification; specification languages; domain-oriented problem space; domain-specific languages; formal method; model-based development; model-based technique; rigorous engineering technique; technical-oriented solution space; Analytical models; Automotive engineering; Computational modeling; Context modeling; Data models; Logic gates; Software; analysis; domain-specific languages; formal methods; model-based development; synthesis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual
Conference_Location :
Munich
ISSN :
0730-3157
Print_ISBN :
978-1-4577-0544-1
Electronic_ISBN :
0730-3157
Type :
conf
DOI :
10.1109/COMPSAC.2011.112
Filename :
6032381
Link To Document :
بازگشت