David Spelt
David Spelt
Susan Even
Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model.
1013-1032
2001
13
Concurr. Comput. Pract. Exp.
11
db/journals/concurrency/concurrency13.html#SpeltE01
https://doi.org/10.1002/cpe.610
David Spelt
Verification Support for Object Database Design.
1999
University of Twente, Enschede, Netherlands
http://purl.utwente.nl/publications/17908
https://www.base-search.net/Record/3e3b936df1b0bf908bed2cfeb199d58f2cc143ed16aaee755d680748a4b3caf9
base-search.net (ftunivtwente:oai:doc.utwente.nl:17908)
Susan Even
David Spelt
Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model.
216-217
1999
conf/ecoopw/1999
ECOOP Workshops
db/conf/ecoopw/ecoopw99.html#EvenS99a
David Spelt
Susan Even
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases.
375-389
1999
conf/tacas/1999
TACAS
https://doi.org/10.1007/3-540-49059-0_26
db/conf/tacas/tacas99.html#SpeltE99
David Spelt
Herman Balsters
Automatic Verification of Transactions on an Object-Oriented Database.
396-412
DBPL1997/P396.pdf
1997
DBPL
db/conf/dbpl/dbpl97.html#SpeltB97
conf/dbpl/97
https://doi.org/10.1007/3-540-64823-2_22
conf/rules/FraternaliP93
journals/tods/SheardS89
conf/dbpl/BenzakenD93
journals/vldb/BenzakenD95
conf/pos/BenzakenS96
conf/ecoop/BalstersBZ93
...
journals/iandc/Cardelli88
conf/dbpl/BalstersV91
books/mk/Cattell94
...
journals/debu/SchmidtWBM89
...
...
conf/dbpl/BunemanO91
journals/tcs/WongA95
journals/jcss/Weihl93
conf/sigmod/StempleMS87
Herman Balsters
Susan Even