1782 search results - page 112 / 357 » Tool Support for Proof Engineering |
190
click to vote
ISPE
2003
15 years 7 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
117
click to vote
OOPSLA
2005
Springer
15 years 11 months 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...
161
click to vote
ECLIPSE
2004
ACM
15 years 11 months 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...
195
click to vote
EON
2003
15 years 7 months ago
2003
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
191
click to vote
PROFES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...