45 search results - page 1 / 9 » Consistency Checking of Conceptual Models via Model Merging |
RE
2007
Springer
13 years 10 months ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
FLAIRS
2001
13 years 6 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
IEAAIE
2003
Springer
13 years 9 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...