3799 search results - page 228 / 760 » An Engineering Approach to Formal Methods |
178
click to vote
VMCAI
2010
Springer
16 years 1 days ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
158
click to vote
TLDI
2005
ACM
15 years 10 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
172
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
133
Voted
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
174
Voted
AVI
1996
15 years 6 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...