Journal: Data \& Knowledge Engineering

Volume 19, Issue 3

201 -- 240Bernd Meyer, Gerd Westerman, Martin Gogolla. Drafting ER and OO Schemas in Prototype Environments
241 -- 266Gustaf Neumann. Reasoning About ER Models in a Deductive Environment
267 -- 294Amílcar Sernadas, Cristina Sernadas, Jaime Ramos. A Temporal Logic Approach to Object Certification