1823 search results - page 89 / 365 » Formal specification: a roadmap |
136
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
121
click to vote
TCS
2002
15 years 4 months ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
138
click to vote
NIPS
2008
15 years 6 months ago
2008
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
125
click to vote
AOSE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
123
click to vote
JOT
2006
15 years 4 months ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models