687 search results - page 61 / 138 » Specification and Verification of Model Transformations Usin... |
105
Voted
VLSID
2002
IEEE
16 years 29 days ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
CASCON
2006
15 years 2 months ago
2006
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
129
click to vote
ECMDAFA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
97
Voted
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
108
click to vote
EDOC
2005
IEEE
15 years 6 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...