2599 search results - page 234 / 520 » A Tool for Supporting Feature-Driven Development |
194
Voted
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
171
click to vote
BXML
2004
2004
Experiences Using Semantic Web Technologies to Realize an Information Retrieval System for Pathology
15 years 7 months ago
: Building the Semantic Web requires the use of powerful tools to create, manage and extend domain ontologies represented with Semantic Web languages. Though many tools have been a...
144
click to vote
WICSA
2001
15 years 7 months ago
2001
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
143
click to vote
IANDC
2008
15 years 5 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
152
Voted
CGA
2006
15 years 5 months ago
2006
: Despite recent advances in map-generalization tools and theories, this work has been slow to find its way into the hands of the map-making public. Mapshaper.org is a free-touse g...