Sciweavers

88 search results - page 1 / 18
» Detecting model inconsistency through operation-based model ...
Sort
View
ICSE
2008
IEEE-ACM
14 years 5 months ago
Detecting model inconsistency through operation-based model construction
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...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
CAISE
2009
Springer
13 years 9 months ago
Incremental Detection of Model Inconsistencies Based on Model Operations
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...
Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom...
KBSE
2003
IEEE
13 years 9 months ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
Mehrdad Sabetzadeh, Steve M. Easterbrook
DLOG
2003
13 years 5 months ago
Detecting Inconsistencies between UML Models Using Description Logic
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...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
MODELS
2010
Springer
13 years 2 months ago
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao,...