5433 search results - page 717 / 1087 » Tool Support for Traceability-Adaptation |
164
click to vote
IUI
2004
ACM
16 years 12 days ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
155
click to vote
SIGCSE
2004
ACM
16 years 11 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
177
click to vote
HIPC
2004
Springer
16 years 10 days ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
170
click to vote
ICFEM
2004
Springer
16 years 10 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
156
click to vote
ICWE
2004
Springer
16 years 10 days ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...