5433 search results - page 350 / 1087 » Tool Support for Traceability-Adaptation |
165
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
302
click to vote
KCAP
2005
ACM
16 years 7 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...
173
click to vote
LPAR
2005
Springer
16 years 5 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...
121
click to vote
OOPSLA
2005
Springer
16 years 5 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...
172
click to vote
SEKE
2005
Springer
16 years 5 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...