|
Author: Rich Bradford
The Non-programmer database system (NDB) is a nicely engineered binary
relational database system invented by Norman Winterbottom of IBM. The
formal Specification of NDB was originally undertaken by Anne Walshe,
who has subsequently documented the specification and its refinement.
NDB has been used as an example problem for modular specification in
VDM-SL. However, the version available here is a "flat" specification.
The postscript file includes a significant description of the validation
of the specification using execution. Test coverage is not used though.
Relevant publications are:
A. Walshe, "NDB: The Formal Specification and Rigorous Design of a
Single-User Database System", in C.B. Jones and R.C. Shaw (eds),
"Case Studies in Systematic Software Development", Prentice Hall
1990, ISBN 0-13-116088-5
J.S. Fitzgerald and C.B. Jones, "Modularizing the Formal Description
of a Database System", in D. Bjorner, C.A.R. Hoare and H. Langmaack
(eds), VDM '90: VDM and Z - Formal Methods in Software Development,
Springer-Verlag, LNCS 428, 1990
Language Version: classic
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
