Searching for "Prespecification in Data Refinement." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Two-Categories and Program Structure
by David Andrew Naumann, Richard August, Naumann After, Using L, Leslie Lamport, The American
…, and J.W. Sanders. Prespecification in data refinement. 17 Nov 86, November 1986. [HHS87] J. He, C…
Add To MetaCart

A Summary of Refinement Theory
by Maarten Fokkinga, Converse R — 1994
… of Hoare et al ("The weakest prespecification" and "Prespecification in data refinement"). 1 Preliminaries…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB