Sciweavers

3387 search results - page 21 / 678
» Automating the Metamodeling Process
Sort
View
ENTCS
2006
183views more  ENTCS 2006»
14 years 11 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 4 months ago
Assigning Types to Processes
Nobuko Yoshida, Matthew Hennessy
76
Voted
LICS
1998
IEEE
15 years 4 months ago
Recursive Types in Games: Axiomatics and Process Representation
Marcelo P. Fiore, Kohei Honda
CSL
1993
Springer
15 years 3 months ago
Process Algebra with Combinators
Jan A. Bergstra, Inge Bethke, Alban Ponse