Sciweavers

3387 search results - page 22 / 678
» Automating the Metamodeling Process
Sort
View
LICS
1989
IEEE
15 years 3 months ago
Towards Action-Refinement in Process Algebras
Luca Aceto, Matthew Hennessy
LICS
1995
IEEE
15 years 3 months ago
A Typed Calculus of Synchronous Processes
Simon J. Gay, Rajagopal Nagarajan
UML
2005
Springer
15 years 5 months ago
Ontology-Based Model Transformation
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
Stephan Roser, Bernhard Bauer