1054 search results - page 94 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
151
Voted
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
120
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
144
click to vote
ALC
1997
15 years 5 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
157
click to vote
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
186
click to vote
CGF
2011
14 years 7 months ago
2011
We propose a method for interactive cloning of 3D surface geometry using a paintbrush interface, similar to the continuous cloning brush popular in image editing. Existing interac...