Sciweavers

15635 search results - page 423 / 3127
» Modelling and Design of VAML
Sort
View
CLEIEJ
2007
51views more  CLEIEJ 2007»
15 years 6 months ago
Model Checking Techniques applied to the design of Web Services
Gregorio Díaz, María-Emilia Cambrone...
IJCIS
2006
75views more  IJCIS 2006»
15 years 6 months ago
Model-Driven Design, Refinement and Transformation of Abstract Interactions
João Paulo A. Almeida, Remco M. Dijkman, Lu...
114
Voted
JACIII
2006
60views more  JACIII 2006»
15 years 6 months ago
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model
Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro...