5525 search results - page 75 / 1105 » Verification of Model Transformations |
GG
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
130
click to vote
STTT
2010
14 years 8 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
ENTCS
2008
14 years 9 months ago
2008
This paper explores the emerging paradigm of business-driven development, which presupposes a methodology for developing IT solutions that directly satisfy business requirements a...
BPM
2007
Springer
15 years 4 months ago
2007
Springer
UML
2004
Springer
15 years 3 months ago
2004
Springer