5434 search results - page 376 / 1087 » Tool support for MOLA |
179
click to vote
LPAR
2005
Springer
16 years 10 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...
126
click to vote
OOPSLA
2005
Springer
16 years 10 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
Voted
SEKE
2005
Springer
16 years 10 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...
174
click to vote
ECLIPSE
2004
ACM
16 years 8 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...
183
Voted
APN
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...