358 search results - page 5 / 72 » Extracting State Diagrams from Legacy Systems |
VL
1995
IEEE
13 years 11 months ago
1995
IEEE
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
APVIS
2009
13 years 8 months ago
2009
We present a new method for the combined visualization of software architecture diagrams, such as UML class diagrams or component diagrams, and software metrics defined on groups ...
AADEBUG
1997
Springer
13 years 11 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
ICSE
2001
IEEE-ACM
14 years 2 days ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...