Sciweavers

5775 search results - page 138 / 1155
» A Rationale-based Analysis Tool
Sort
View
EHCI
2004
15 years 7 months ago
The Software Design Board: A Tool Supporting Workstyle Transitions in Collaborative Software Design
Software design is a team activity, and designing effective tools to support collaborative software design is a challenging task. Designers work together in a variety of different ...
James Wu, T. C. Nicholas Graham
FORTE
2004
15 years 7 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
WSC
1998
15 years 7 months ago
GMSim: A Tool for Compositional GSMP Modeling
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
Frode B. Nilson
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
ATAL
2009
Springer
16 years 1 months ago
agentTool III: from process definition to code generation
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...