Formal Methods in Databases and Software Engineering - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9783540198123, 9781447132134

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_9 ◽

1993 ◽

pp. 139-157

Author(s):

Jiawei Han

Keyword(s):

Knowledge Base ◽

Data Intensive ◽

Knowledge Base Systems

Download Full-text

Using VDM within an Object-Oriented Framework

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_7 ◽

1993 ◽

pp. 111-121

Author(s):

Lynn S. Marshall ◽

Linda Simon

Keyword(s):

Object Oriented

Download Full-text

Software Engineering Environments — what do we want?

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_8 ◽

1993 ◽

pp. 122-138

Author(s):

Pankaj Goyal

Keyword(s):

Software Engineering

Download Full-text

A Unified Framework for Database Specification: Functional Approach

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_6 ◽

1993 ◽

pp. 96-110

Author(s):

Geetha Ramanathan

Keyword(s):

Functional Approach ◽

Unified Framework

Download Full-text

An Incremental Concept Formation Approach for Learning from Databases

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_3 ◽

1993 ◽

pp. 39-53 ◽

Author(s):

Rokia Missaoui ◽

Robert Godin

Keyword(s):

Concept Formation

Download Full-text

Intuitionistic Interpretation of Deductive Databases with Incomplete Information

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_11 ◽

1993 ◽

pp. 175-191

Author(s):

Fangqing Dong ◽

Laks V. S. Lakshmanan

Keyword(s):

Incomplete Information ◽

Deductive Databases

Download Full-text

Transaction Logic: An (Early) Exposé

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_1 ◽

1993 ◽

pp. 1-23 ◽

Author(s):

Anthony J. Bonner ◽

Michael Kifer

Keyword(s):

Transaction Logic

Download Full-text

Modeling Time in Information Systems

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_5 ◽

1993 ◽

pp. 80-95

Author(s):

V. S. Alagar

Keyword(s):

Information Systems

Download Full-text

The Tecton Proof System

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_4 ◽

1993 ◽

pp. 54-79 ◽

Author(s):

Deepak Kapur ◽

David R. Musser ◽

Xumin Nie

Keyword(s):

Download Full-text

On Querying Temporal Deductive Databases

Formal Methods in Databases and Software Engineering - Workshops in Computing ◽

10.1007/978-1-4471-3213-4_10 ◽

1993 ◽

pp. 158-174

Author(s):

Laks V. S. Lakshmanan ◽

Daniel A. Nonen

Keyword(s):

Deductive Databases

Download Full-text