Formal Methods in Databases and Software Engineering

Keyphrases

Publications

1993

Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 Formal Methods in Databases and Software Engineering (1993)

1992

Lynn S. Marshall, Linda Simon
Using VDM Within an Object-Oriented Framework. Formal Methods in Databases and Software Engineering (1992)
Anthony J. Bonner, Michael Kifer
transaction Logic: An (Early) Exposé. Formal Methods in Databases and Software Engineering (1992)
Fangqing Dong, Laks V. S. Lakshmanan
Intuitionistic Interpretation of Deductive Databases with Incomplete Information. Formal Methods in Databases and Software Engineering (1992)
Pankaj Goyal
Software Engineering Environments - What Do We Want? Formal Methods in Databases and Software Engineering (1992)
Rokia Missaoui, Robert Godin
An Incremental Concept Formation Approach for Learning from Databases. Formal Methods in Databases and Software Engineering (1992)
Laks V. S. Lakshmanan, Daniel A. Nonen
On Querying Temporal Deductive Databases. Formal Methods in Databases and Software Engineering (1992)
Vangalur S. Alagar
Modeling Time in Information Systems. Formal Methods in Databases and Software Engineering (1992)
Jiawei Han
Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems. Formal Methods in Databases and Software Engineering (1992)
Greetha Ramanathan
A Unified Framework for Database Specification: Functional Approach. Formal Methods in Databases and Software Engineering (1992)
Fereidoon Sadri
Aggregate Operations in the Information Source Tracking Method. Formal Methods in Databases and Software Engineering (1992)
Deepak Kapur, David R. Musser, Xumin Nie
The Tecton Proof System. Formal Methods in Databases and Software Engineering (1992)