5664 search results - page 403 / 1133 » Creativity support tools |
305
click to vote
KCAP
2005
ACM
16 years 11 days ago
2005
ACM
The difficulty of maintaining effective testbed partnerships, among users of computer-based tools and builders of those tools, has been an obstacle to the success of science colla...
178
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. 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 auto...
125
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
179
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
172
click to vote
ECLIPSE
2004
ACM
16 years 7 days ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...