Title :
Model-integrated program synthesis environment
Author :
Sztipanovits, Janos ; Karsai, Gabor ; Franke, Hubertus
Author_Institution :
Measure. & Comput. Syst. Lab., Vanderbilt Univ., Nashville, TN, USA
Abstract :
The paper describes a model-integrated program synthesis environment for computer-based system applications. In model-integrated program synthesis (MIPS), domain-specific, multiple-view models represent the software, its environment and their relationships. Model interpreters translate the models into the input languages of static and dynamic analysis tools, and application specific model interpreters synthesize software applications. The components of the system are built in the framework of the layered multigraph architecture, which separates the generic and domain/application specific components, and defines interfaces for expandability
Keywords :
program interpreters; programming environments; software tools; system monitoring; application specific components; application specific model interpreters; computer-based system applications; domain specific components; domain-specific multiple-view models; dynamic analysis tools; expandability interfaces; generic components; input languages; layered multigraph architecture; model interpreters; model translation; model-integrated program synthesis environment; software; software application synthesis; static analysis tools; Application software; Computer applications; Computer architecture; Costs; Performance analysis; Programming environments; Reliability engineering; Safety; System testing; Systems engineering and theory;
Conference_Titel :
Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on
Conference_Location :
Friedrichshafen
Print_ISBN :
0-8186-7355-9
DOI :
10.1109/ECBS.1996.494548
