18 search results - page 4 / 4 » A UML OCL framework for the analysis of graph transformation... |
SCAM
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
MBEES
2008
13 years 6 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...