Sciweavers

5775 search results - page 113 / 1155
» A Rationale-based Analysis Tool
Sort
View
IWPC
2006
IEEE
16 years 11 days ago
Integrating Reverse Engineering Tools Using a Service-Sharing Methodology
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...
Dean Jin, James R. Cordy
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 10 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack
CSCW
2006
ACM
16 years 10 days ago
Identification of coordination requirements: implications for the Design of collaboration and awareness tools
Task dependencies drive the need to coordinate work activities. We describe a technique for using automatically generated archival data to compute coordination requirements, i.e.,...
Marcelo Cataldo, Patrick Wagstrom, James D. Herbsl...
IWPC
2002
IEEE
15 years 11 months ago
Building Program Understanding Tools Using Visitor Combinators
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
Arie van Deursen, Joost Visser
CAISE
2004
Springer
15 years 11 months ago
Business Process Modeling Tools for Modeling of Organizational Structure
We can use Business Process Modeling (BPM) tools for modeling the organizational structure, however, there are many imperfections in the existing BPM tools that hinder the process ...
Renate Sprice, Uldis Eihenbergs