555 search results - page 7 / 111 » Software, regulation, and domain specificity |
ENTCS
2010
13 years 7 months ago
2010
SAC
2008
ACM
13 years 9 months ago
2008
ACM
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
ATAL
2008
Springer
14 years 2 days ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...