6 search results - page 2 / 2 » Debugging strategies and tactics in a multi-representation s... |
SCAM
2002
IEEE
14 years 12 days 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...