Sciweavers

29046 search results - page 496 / 5810
» Computable Models
Sort
View
ASM
2010
ASM
15 years 4 months ago
Formal Analysis in Model Management: Exploiting the Power of CZT
James R. Williams, Fiona A. C. Polack, Richard F. ...
GRAPP
2010
15 years 4 months ago
Bubbleworld Builder - 3D Modeling using Two-touch and Sketch Interaction
Amit Joshi, Glen Robertson, Burkhard Wünsche,...
ICMT
2010
Springer
15 years 4 months ago
A Constructive Approach to Testing Model Transformations
Camillo Fiorentini, Alberto Momigliano, Mario Orna...