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

491 Citations

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

See our FAQ for additional information.