1213 search results - page 139 / 243 » Refactoring UML Models |
142
Voted
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
141
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
93
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
152
Voted
GG
2008
Springer
15 years 4 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
104
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collec