Model-Integrated Program Synthesis Environment

Authors:
Janos Sztipanovits;Gabor Karsai;Hubertus Franke
Affiliations:
-;-;-
Venue:
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Year:
1996

Citing 0
Cited 8

Self-adaptive software for signal processing

Communications of the ACM
Telerobotic remote handling of protein crystals via an Internet link

Beyond webcams
Enterprise modeling by means of UML instance models

ACM SIGSOFT Software Engineering Notes
Expressive programs through presentation extension

Proceedings of the 6th international conference on Aspect-oriented software development
Autonomic image sequence processing

Integrated Computer-Aided Engineering - Autonomous Computing
Computation platform for automatic analysis of embedded software systems using model based approach

ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Formal methods for modeling, refining and verifying autonomic components of computer networks

Transactions on Computational Science XV
Resource optimization in distributed real-time multimedia applications

Multimedia Tools and Applications

Quantified Score

Hi-index	0.02

Visualization

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.