5433 search results - page 650 / 1087 » Tool Support for Traceability-Adaptation |
166
click to vote
APN
2001
Springer
15 years 11 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
205
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
174
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
182
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
Designers of safety-critical VLSI systems are asking for effective tools for evaluating and validating their designs. Fault Injection is commonly adopted for this task, and its eff...
192
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...