Reasoning on UML class diagrams

Abstract

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

Topics

23 Figures and Tables

Statistics

0204060'04'06'08'10'12'14'16'18
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