researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Data \& Knowledge Engineering
Home
Index
Info
Issue
Volume
19
, Issue
3
201
--
240
Bernd Meyer
,
Gerd Westerman
,
Martin Gogolla
.
Drafting ER and OO Schemas in Prototype Environments
241
--
266
Gustaf Neumann
.
Reasoning About ER Models in a Deductive Environment
267
--
294
AmÃlcar Sernadas
,
Cristina Sernadas
,
Jaime Ramos
.
A Temporal Logic Approach to Object Certification