1855 search results - page 65 / 371 » Composing model programs for analysis |
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Spreadsheets are one of the most popular end-users programming environment. Although spreadsheets provide an interactive interface for data manipulation and analysis, the...
107
Voted
NHM
2010
14 years 9 months ago
2010
We present in this paper several results concerning a simple model of interaction between an inviscid fluid, modeled by the Burgers equation, and a particle, assumed to be point-wi...
98
Voted
IJCAI
2007
15 years 4 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
136
Voted
JAIR
2007
15 years 2 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
100
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...