21 search results - page 1 / 5 » Detecting Inconsistencies between UML Models Using Descripti... |
DLOG
2003
13 years 10 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
UML
2001
Springer
14 years 29 days ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
DLOG
2010
13 years 6 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
UML
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...