5433 search results - page 330 / 1087 » Tool Support for Traceability-Adaptation |
154
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present the STORIES methods and tool for (a) an abstracted story representation from a collection of time-indexed documents; (b) visualising it in a way that encourages users...
195
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
176
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
154
click to vote
ICSM
2007
IEEE
16 years 29 days ago
2007
IEEE
The quality of identifiers, the coding style and formatting are important aspects that influence program understandings and maintenance. This is confirmed by the presence of se...
146
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...