Sciweavers

5433 search results - page 368 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
194
Voted
CALCO
2009
Springer
190views Mathematics» more  CALCO 2009»
16 years 1 months ago
DBtk: A Toolkit for Directed Bigraphs
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
Giorgio Bacci, Davide Grohmann, Marino Miculan
ERCIMDL
2009
Springer
95views Education» more  ERCIMDL 2009»
16 years 1 months ago
Recollection: Integrating Data through Access
The National Digital Information Infrastructure and Preservation Program will demonstrate a pilot tools platform called Recollection that supports access to distributed NDIIPP coll...
Laura E. Campbell
165
Voted
QEST
2007
IEEE
16 years 1 months ago
The PEPA Plug-in Project
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
Mirco Tribastone
CAISE
2007
Springer
16 years 27 days ago
Negotiating Models
We investigate the process of collaborative modeling by analyzing conversations and loud thinking during modeling sessions and the resulting models themselves. We discovered the ba...
Peter Rittgen
MODELS
2007
Springer
16 years 25 days ago
Model Based Reengineering Of User Interfaces
This position paper shortly describes methods and tools under development to support a model-based reengineering process of user interfaces of legacy applications. This reengineer...
Andreas Wolff, Peter Forbrig