Sciweavers

42 search results - page 3 / 9
» A Visual Framework for Modelling with Heterogeneous Notation...
Sort
View
SERP
2007
13 years 6 months ago
Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
Kendra Cooper, Lirong Dai, Sergiu Dascalu, Nehal M...
3DPVT
2004
IEEE
194views Visualization» more  3DPVT 2004»
13 years 9 months ago
Heterogeneous Deformation Model for 3D Shape and Motion Recovery from Multi-Viewpoint Images
This paper presents a framework for dynamic 3D shape and motion reconstruction from multi-viewpoint images using a deformable mesh model. By deforming a mesh at a frame to that at...
Shohei Nobuhara, Takashi Matsuyama
ISORC
1999
IEEE
13 years 9 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann
IV
2005
IEEE
99views Visualization» more  IV 2005»
13 years 11 months ago
Heterogeneous Objects Modelling and Rendering Using Implicit Complexes
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
Elena Kartasheva, Valery Adzhiev, Peter Comninos, ...
VL
1997
IEEE
165views Visual Languages» more  VL 1997»
13 years 9 months ago
Alterable Visual Languages
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
Chris M. Holt