Reasoning on UML class diagrams


UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, storing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated… (More)
DOI: 10.1016/j.artint.2005.05.003


23 Figures and Tables


Citations per Year

493 Citations

Semantic Scholar estimates that this publication has 493 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics