Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language.
J. Univers. Comput. Sci., 2003
The Rosetta Meta-Model Framework.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
Multi-Faceted Requirements Modeling.
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002
Rosetta: Semantic Support for Model-Centered Systems-Level Design.
Computer, 2001
Implementation of Specification Conjunction and Domain Interaction in Rosetta.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Heterogeneous Modeling Support for Embedded Systems Design.
Proceedings of the Embedded Software, First International Workshop, 2001
A Practical Semantics for Design Facet Interaction.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001
Formal modeling of active network nodes using PVS.
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000
,
,
,
,
,
,
,
,
,
,
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000