2702 search results - page 33 / 541 » Requirements Processes: An Experience Report |
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
125
Voted
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
103
click to vote
SODA
2004
ACM
15 years 3 months ago
2004
ACM
We report on a new experimental analysis of high-order entropy-compressed suffix arrays, which retains the theoretical performance of previous work and represents an improvement in...
102
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
SGAI
2005
Springer
15 years 7 months ago
2005
Springer
Ripple-Down Rules (RDR) is an approach to building knowledgebased systems (KBS) incrementally, while the KBS is in routine use. Domain experts build rules as a minor extension to ...