4460 search results - page 196 / 892 » Formal methods for interactive systems |
145
Voted
LOPSTR
1995
Springer
15 years 7 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
150
Voted
ECAL
1995
Springer
15 years 7 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
120
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
164
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
148
click to vote
JODL
2000
15 years 3 months ago
2000
Abstract. In this paper we investigate a general purpose interactive information organization system. The system organizes documents by placing them into 1-, 2-, or 3-dimensional s...