15885 search results - page 671 / 3177 » Strategic Software Engineering |
168
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
One of the difficulties in requirements negotiation is to determine a feasible and mutually satisfactory set of requirements for the developer and the user, a problem related to C...
181
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Retrieving images by content and forming visual queries are important functionality of an image database system. Using textual descriptions to specify queries on image content is ...
202
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
177
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
208
click to vote
CSI
2007
15 years 7 months ago
2007
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...