Sciweavers

168 search results - page 15 / 34
» An Automated Approach to Transform Use Cases into Activity D...
Sort
View
CISIS
2009
IEEE
14 years 3 months ago
SAMOA - A Semi-Automated Ontology Alignment Method for Systems Integration in Safety-Critical Environments
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...
Thomas Moser, Kathrin Schimper, Richard Mordinyi, ...
ISESE
2005
IEEE
14 years 2 months ago
A comparative study on the re-documentation of existing software: code annotations vs. drawing editors
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
Marco Torchiano, Filippo Ricca, Paolo Tonella
DFG
2004
Springer
14 years 10 days ago
Modeling and Formal Verification of Production Automation Systems
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wo...
ICCBR
2009
Springer
14 years 3 months ago
Conceptual Neighborhoods for Retrieval in Case-Based Reasoning
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
Ben G. Weber, Michael Mateas
IASSE
2004
13 years 10 months ago
A Rationale-based Analysis Tool
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
Timo Wolf, Allen H. Dutoit