Sciweavers

164 search results - page 27 / 33
» Integrating Textual and Graphical Modelling Languages
Sort
View
CGF
2005
232views more  CGF 2005»
13 years 7 months ago
Algorithms for Interactive Editing of Level Set Models
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...
Ken Museth, David E. Breen, Ross T. Whitaker, Sean...
WEBDB
2000
Springer
110views Database» more  WEBDB 2000»
13 years 11 months ago
Modeling Data Entry and Operations in WebML
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...
Aldo Bongio, Stefano Ceri, Piero Fraternali, Andre...
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
13 years 12 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
ICSE
2008
IEEE-ACM
14 years 8 months ago
Clone detection in automotive model-based development
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
Benjamin Hummel, Bernhard Schätz, Elmar J&uum...
ECMDAFA
2005
Springer
181views Hardware» more  ECMDAFA 2005»
14 years 1 months ago
Transformations Between UML and OWL-S
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
Roy Grønmo, Michael C. Jaeger, Hjørd...