Towards Specification of Program Synthesis in Model-Integrated Computing
Gábor Karsai, János Sztipanovits, Hubertus Franke · 2000
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally addressed using this approach. However, the creation of model-integrated programming environments is a non-trivial task, which requires various skills on behalf of the system implementor. This paper addresses one particular issue of these environments: the specification and generation of model interpreters that are the tools responsible for translating models into components of the executable system. 1.