5433 search results - page 263 / 1087 » Tool Support for Traceability-Adaptation |
193
click to vote
UML
2005
Springer
16 years 14 hour ago
2005
Springer
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
165
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. While most data analysis and decision support tools use numerical aspects of the data, Conceptual Information Systems focus on their conceptual structure. This paper disc...
195
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
The complexity of group interaction means that there will be many uncertainties in the requirements for software support tools. Many existing software systems rely on the adaptabi...
162
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
This work presents an auto-completion mechanism for supporting the creation of executable business process models. Currently, process modeling tools provide only little support to ...
148
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...