228 search results - page 12 / 46 » Reasoning on UML class diagrams |
AUIC
2003
IEEE
14 years 21 days ago
2003
IEEE
APVIS
2001
13 years 8 months ago
2001
APVIS
2001
13 years 8 months ago
2001
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
COMPSAC
2003
IEEE
14 years 21 days ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...