Data & Knowledge Engineering , Volume 15, 1995

Volume 15, Number 1, March 1995

• Guido Dedene, Monique Snoeck:
  Formal Deadlock Elimination in an Object Oriented Conceptual Schema. 1-30
  
• Arthur R. Greef, Steffen M. Fohn, Robert E. Young, Peter J. O'Grady:
  Implementation of a Logic-Based Support System for Concurrent Engineering. 31-61
  
• Ron Seljée:
  A New Method for Integrity Constraint Checking in Deductive Database. 63-102
  

Volume 15, Number 2, April 1995

• Valeria De Antonellis, Barbara Pernici:
  Reusing Specifications Through Refinement Levels. 109-133
  
• Henderik Alex Proper, Theo P. van der Weide:
  Information Disclosure in Evolving Information Systems: Taking as Shot at a Moving Target. 135-168
  
• Jukka Teuhola:
  Selection of Object Surrogates to Support Clustering. 169-183
  

Volume 15, Number 3, June 1995

• Vicente J. Botti, Federico Barber, Alfons Crespo, Eva Onaindia, Ana García-Fornes, Ismael Ripoll, D. Gallardo, L. Hernández:
  A Temporal Blackboard for a Multi-Agent Environment. 189-211
  
• Christian Fahrner, Gottfried Vossen:
  A Survey of Database Design Transformations Based on the Entity-Relationship Model. 213-250
  
• Terry A. Halpin, Henderik Alex Proper:
  Subtyping and Polymorphism in Object-Role Modelling. 251-281