9182 search results - page 13 / 1837 » Requirements for Requirements Management Tools |
ENTCS
2006
13 years 8 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
ICCD
2002
IEEE
14 years 5 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
RE
2007
Springer
14 years 2 months ago
2007
Springer
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
RE
2001
Springer
14 years 1 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
KNINVI
2005
Springer
14 years 2 months ago
2005
Springer
In this chapter, I have shown that problem solving depend on how the problem is represented to the learners. That representation affects, to some degree, they ways that problem sol...