David Spelt

发表

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases

David Spelt, Susan Even, D. Spelt, 1999, TACAS.

Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model

David Spelt, Susan Even, 1999, ECOOP Workshops.

A Proof Tool for TM

David Spelt, D. Spelt, 1995 .

Automatic Verification of Transactions on an Object-Oriented Database

Herman Balsters, David Spelt, H. Balsters, 1997, DBPL.

Verification Support for Object Database Design

David Spelt, D. Spelt, 1999 .

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model

David Spelt, Susan Even, 2001, Concurr. Comput. Pract. Exp..

An Engineering Approach to Atomic Transaction Verification : Use of a Simple Object Model to Achieve Semantics-based Reasoning at Compile-time

David Spelt, S. J. Even, 1998 .