2274 search results - page 46 / 455 » Qualitative Modeling for Requirements Engineering |
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
71
Voted
EKAW
2004
Springer
15 years 3 months ago
2004
Springer
Among the various tasks involved in building a Bayesian network for a real-life application, the task of eliciting all probabilities required is generally considered the most daunt...
INFORMATICALT
2006
14 years 9 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
WER
2005
Springer
15 years 3 months ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...