287 search results - page 2 / 58 » Automated abstraction of class diagrams |
DLOG
2004
13 years 7 months ago
2004
DLOG
2003
13 years 7 months ago
2003
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
KBSE
2000
IEEE
13 years 10 months ago
2000
IEEE
FMCAD
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...