5433 search results - page 302 / 1087 » Tool Support for Traceability-Adaptation |
159
click to vote
ERCIMDL
2009
Springer
15 years 11 months ago
2009
Springer
While many digital libraries focus on supporting defined tasks that require targeted searching, there is potential for enabling serendipitous discovery that can serve multiple purp...
163
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
183
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
163
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
187
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...