David Spelt

According to our database, David Spelt authored at least 5 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

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

David Spelt, Susan Even

Concurr. Comput. Pract. Exp., 2001

1999

Verification Support for Object Database Design.

David Spelt

PhD thesis, 1999

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

David Spelt, Susan Even

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

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

Susan Even, David Spelt

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997

Automatic Verification of Transactions on an Object-Oriented Database.

David Spelt, Herman Balsters

Proceedings of the Database Programming Languages, 6th International Workshop, 1997