495 search results - page 89 / 99 » Translating the Object Constraint Language into the Java Mod... |
167
click to vote
JUCS
2010
14 years 11 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
137
Voted
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
155
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
133
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
134
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...