809 search results - page 16 / 162 » Requirements by Contracts allow Automated System Testing |
111
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
IJCAI
2003
15 years 1 months ago
2003
NoA is an agent architecture that supports the development of agents motivated by norms: obligations, permissions and prohibitions. Obligations motivate a normative agent to act: ...
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
120
click to vote
PPOPP
2005
ACM
15 years 5 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...