288 search results - page 25 / 58 » On challenges of model transformation from UML to Alloy |
ANSOFT
2002
14 years 9 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
SOSE
2006
IEEE
15 years 3 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
UML
2004
Springer
15 years 2 months ago
2004
Springer
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
TES
2005
Springer
15 years 3 months ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...