Sciweavers

3387 search results - page 21 / 678
» Automating the Metamodeling Process
Sort
View
ENTCS
2006
183views more  ENTCS 2006»
15 years 4 months ago
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
László Lengyel, Tihamer Levendovszky...
LICS
2000
IEEE
15 years 8 months ago
Assigning Types to Processes
Nobuko Yoshida, Matthew Hennessy
110
Voted
LICS
1998
IEEE
15 years 8 months ago
Recursive Types in Games: Axiomatics and Process Representation
Marcelo P. Fiore, Kohei Honda
114
Voted
TIME
1997
IEEE
15 years 8 months ago
Enhancements to the Ground Processing Scheduling System
Juan Jose Blanco, Lina Khatib
91
Voted
CSL
1993
Springer
15 years 8 months ago
Process Algebra with Combinators
Jan A. Bergstra, Inge Bethke, Alban Ponse