Searching for authors named "David Spelt" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Verification Support for Object Database Design
- …Verification Support for Object Database Design David Spelt Samenstelling van de promotiecommissie…
- Cited by 2 (0 self) – Add To MetaCart
-
An Engineering Approach to Atomic Transaction Verification: Use of a Simple Object Model to Achieve Semantics-based Reasoning at Compile-time
- … Semantics-based Reasoning at Compile-time David Spelt, Susan Even* Centre for Telematics and Information…
- Cited by 2 (2 self) – Add To MetaCart
-
Automatic Verification of Transactions on an Object-Oriented Database
- …Automatic Verification of Transactions on an Object-Oriented Database David Spelt 1 , Herman…
- Cited by 5 (4 self) – Add To MetaCart
-
Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model
- … of schema requirements for an advanced transaction model Susan Even ∗ and David Spelt Centre for Telematics…
- Cited by 1 (0 self) – Add To MetaCart
-
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
- …A theorem prover-based analysis tool for object-oriented databases David Spelt, Susan Even…
- Cited by 2 (2 self) – Add To MetaCart
-
A Proof Tool for TM
- …A Proof Tool for TM David Spelt July 26, 1995 Master's Thesis Database Group Section Information…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 6.
