5101 search results - page 323 / 1021 » Capturing Context Requirements |
166
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
147
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
A pattern is a common solution to a problem that occurs in many different contexts. Patterns capture expert knowledge about “best practices” in software design in a form that ...
173
click to vote
WMCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes work carried out as part of the GUIDE project at Lancaster University. The overall aim of the project is to develop a context-sensitive tourist guide for visi...
194
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
166
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...