Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2001
Spelt, D. and Even, S.J.
(2001)
Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model.
Concurrency and Computation: Practice and Experience, 13 (11).
pp. 1013-1032.
ISSN 1532-0626
*** ISI Impact 0,907 ***
1999
Even, S.J. and Spelt, D.
(1999)
Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model.
In: Proceedings of the 1st ECOOP Workshop on Object-Oriented Databases, 15 Jun 1999, Lisbon, Portugal.
pp. 109-120.
Università di Genova.
ISBN not assigned
Spelt, D. and Even, S.J.
(1999)
A theorem prover-based analysis tool for object-oriented databases.
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), 22-28 March 1999, Amsterdam, The Netherlands.
pp. 375-389.
Lecture Notes in Computer Science 1579.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-65703-3
1998
Faase, F.J. and Even, S.J. and de By, R.A. and Apers, P.M.G.
(1998)
Integrating organisational and transactional aspects of cooperative activities.
In: Proceedings 6th Workshop on Database Programming Languages (DBPL 1997), 18-20 Aug 1997, Estes Park, Colorado, USA.
pp. 336-354.
Lecture Notes in Computer Science 1369.
Springer Verlag.
ISBN 3-540-64823-2
1996
Even, S.J. and Faase, F.J. and de By, R.A.
(1996)
Language features for cooperation in an object-oriented database environment.
International Journal of Cooperative Information Systems, Special Issue on Formal Methods, 5 (4).
pp. 469-500.
ISSN 0218-8430
*** ISI Impact 1,433 ***
1995
de By, R.A. and Even, S.J. and Verkoulen, P.A.C.
(1995)
Functionally Specified Distributed Transactions in Co-operative Scenarios.
In: Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95), 6-7 Mar 1995, Taipei, Taiwan.
pp. 116-121.
IEEE Computer Society.
ISBN 0-8186-7056-8
Verkoulen, P.A.C. and Faase, F.J. and Selders, A.W. and Oude Egberink, P.J.J.
(1995)
Requirements for an Advanced Database Transaction Model to Support Design for Manufacturing.
In: International Conference on Flexible Automation and Intelligent Manufacturing (FAIM 1995), 28-30 June 1995, Stuttgart, Germany.
Begell House Inc.
ISBN 1-56700-030-4
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||