523 search results - page 26 / 105 » Goal-Oriented Requirements Engineering: A Case Study in E-go... |
105
click to vote
SWS
2005
ACM
15 years 6 months ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
121
click to vote
VRML
2000
ACM
15 years 5 months ago
2000
ACM
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite i...
111
click to vote
FATES
2003
Springer
15 years 6 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
118
click to vote
ISESE
2005
IEEE
15 years 6 months ago
2005
IEEE
Agile software development solutions are targeted at enhancing work at project level. Little is yet known about the relationship between agile projects and organizational capabili...
107
click to vote
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...