809 search results - page 3 / 162 » Requirements by Contracts allow Automated System Testing |
95
Voted
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
ESAW
2009
Springer
15 years 4 months ago
2009
Springer
Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation et...
IWPSE
2010
IEEE
14 years 7 months ago
2010
IEEE
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...