5525 search results - page 75 / 1105 » Verification of Model Transformations |
115
click to vote
GG
2008
Springer
15 years 4 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...
182
click to vote
STTT
2010
15 years 1 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...
109
click to vote
ENTCS
2008
15 years 3 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...