Searching for "Refinement is complete for implementations." – 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.

Integrating Software Performance Evaluation in Software-Engineering
by Matthias Becker, Lutz Twele, Helena Szczerbicka
… refinement/completion of the implementation. Perhaps use UML as base concept, because it is the most wide…
Add To MetaCart

A Tool for Developing Correct Programs By Refinement
by D. Carrington, D. Carrington, I. Hayes, I. Hayes, R. Nickson, R. Nickson, G. Watson, G. Watson, J. Welsh, J. Welsh — 1996 — Proc. BCS 7th Refinement Workshop
…, the consequent proof obligation and its proof. When the refinement is complete, the implementation code can…
Cited by 12 (4 self) – Add To MetaCart

Showing 1 through 2.

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