KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
A practical theory of programming
A practical theory of programming
The Haskell school of expression: learning functional programming through multimedia
The Haskell school of expression: learning functional programming through multimedia
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Computer
Managing inconsistencies in an evolving specification
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A model-integrated information system for increasing throughput in discrete manufacturing
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 0.00 |
Effective design of embedded computer systems requires considering information from multiple domains in a model-centered approach. Using a model-centered approach, the system designer defines and composes models representing multiple system perspectives throughout the design, implementation and testing process. Rosetta is a heterogeneous systems-level modeling language designed to support specification and analysis of complex, computer-based systems. Rosetta provides a model-centered specification capability that allows specifiers to define and combine system models. Users define models, called facets, and assemble those models to define components and systems using facet composition. Each facet model is written with reference to a domain that defines a vocabulary and semantics for the model definition. To model interaction between specifications from different domains, Rosetta provides an interaction definition mechanism based on institution theory. The Rosetta model-centered specification approach allows systems designers to specify many domains of interest from many perspectives and supports predictive design analysis at the systems-level.