Record: found
Abstract: not found
Book Chapter: not found

FME '93: Industrial-Strength Formal Methods 

On the derivation of executable database programs from formal specifications

other

Author(s): Thomas Günther , Klaus-Dieter Schewe , Ingrid Wetzel

Publication date (Print): 1993

Publisher: Springer-Verlag

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 8

Record: found
Abstract: not found
Article: not found

Semantic database modeling: survey, applications, and research issues

Roger King, Richard Hull (1987)

0 comments Cited 46 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Predicate Calculus and Program Semantics

Edsger W. Dijkstra, Carel Scholten (1990)

0 comments Cited 37 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A language facility for designing database-intensive applications

Philip A. Bernstein, John Mylopoulos, Harry K. T. Wong (1980)

0 comments Cited 25 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Pages: 351-366

DOI: 10.1007/BFb0024656

SO-VID: 0365623f-bcff-4aa0-a269-9dfa04bf5634

History

Data availability:

On the derivation of executable database programs from formal specifications

Read this book at

Related collections

ScienceOpen Research

Most cited references 8

Semantic database modeling: survey, applications, and research issues

Predicate Calculus and Program Semantics

A language facility for designing database-intensive applications

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,269

Cited by 2