4 search results - page 1 / 1 » A Graphical Approach to Prove the Semantic Preservation of U... |
ERSHOV
2006
Springer
13 years 8 months ago
2006
Springer
ECOOP
2007
Springer
13 years 8 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
ECWEB
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...