The building of complex, large-scale industrial applications necessitates the integration of models into the problem solving process. This paper describes a modelintegrated program synthesis environment for computerbased system applications. In Model-Integrated Program Synthesis (MIPS), domain-specific, multiple-view models represent the software, its environment and their relationships. Model ...

LISA has unique needs that argue for an aggressive modelling effort. These models ultimately need to forecast and interrelate the behaviour of the science input, structure, optics, control systems and many other factors that affect the performance of the flight hardware. In addition, many components of these integrated models will also be used separately for the evaluation and investigation of ...

dynamic cellular manufacturing systems,   mixed-integer non-linear programming,   production planning, manufacturing attributes   this paper presents a novel mixed-integer non-linear programming model for the design of a dynamic cellular manufacturing system (dcms) based on production planning (pp) decisions and several manufacturing attributes. such an integrated dcms model with an extensive c...

background: the objectives of this paper are three folds. first, an integrated framework for designing and development of the integrated health, safety and environment (hse) model is presented. second, it is implemented and tested for a large gas refinery in iran. third, it is shown whether the total ergonomics model is superior to the conventional ergonomics approach. this study is among the f...

Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the development of dynamic embedded systems. This paper describes a paradigm-independent, general infrastructure for the design and implementation of model-integrated embedded systems that is highly applicable to self-adaptive sys...

Syntax + Semantic Anchoring Abstract Syntax + Semantic AnchoringSyntax + Semantic Anchoring Abstract Syntax + Semantic Anchoring Behavior Modeling ViewSyntax + Semantic Anchoring Behavior Modeling View Structural Modeling Views Interaction Modeling Views Resource Access Modeling Views TOOLS COMPOSITION PLATFORMS METAPROGRAMMABLE TOOLS