Searching for ""Formal Models of Stepwise Refinement of Programs"." – sorted by Relevance.

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

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

642,810 documents found, showing 1 through 10. Next 10 →

Simulation Program Development By Stepwise Refinement In Unity
by Marc Abrams, Ernest H. Page, Richard E. Nance — 1991 — In: Proceedings of the 1991 Winter Simulation Conference
…SIMULATION PROGRAM DEVELOPMENT BY STEPWISE REFINEMENT IN UNITY Marc Abrams Ernest H. Page Richard E…
Cited by 1 (0 self) – Add To MetaCart

Stepwise Refinement of Communicating Systems
by Michael Butler — 1994
…. In the refinement calculus approach [2, 22, 24], program development involves stepwise refinement of an abstract…
Cited by 17 (6 self) – Add To MetaCart

Experiments with program parallelization using archetypes and stepwise refinement
by Berna L. Massingill — 1998 — In Parallel and Distributed Processing: Workshops held in conjunction with the 12th International Parallel Programming Symposium and the 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP'98), volume 1388 of Lecture Notes in Computer Science
…Experiments with Program Parallelization Using Archetypes and Stepwise Refinement ? Berna L…
Cited by 4 (0 self) – Add To MetaCart

Experiments with Program Parallelization Using Archetypes and Stepwise Refinement
by Berna Massingill University, Berna L. Massingill — 1998 — In Parallel and Distributed Processing: Workshops held in conjunction with the 12th International Parallel Programming Symposium and the 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP'98), volume 1388 of Lecture Notes in Computer Science
…Experiments with Program Parallelization Using Archetypes and Stepwise Refinement ? Berna L…
Add To MetaCart

Stepwise Refinement of Data Flow Architectures
by Jan Philipps, Bernhard Rumpe — 1997
…Stepwise Re nement of Data Flow Architectures Jan Philipps Bernhard Rumpe Institut fur Informatik…
Cited by 1 (1 self) – Add To MetaCart

Stepwise Refinement of Reactive Processor Farms
by K. Sere, K. Sere, Kaisa Sere — 1991
… with other event-based formalisms like UNITY [7]. The action system approach makes stepwise refinement…
Cited by 1 (0 self) – Add To MetaCart

An example of stepwise refinement of distributed programs: Quiescence detection
by Mani Chandy, Jayadev Misra — 1986 — ACM Transactions on Programming Languages and Systems
…An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection MANI CHANDY…
Cited by 12 (0 self) – Add To MetaCart

Modelling Processes Using a Stepwise Refinement Technique
by B.C. Warboys, Jin Sa, Jin Sa, Brian C. Warboys — 1994 — Proc. rd EWSPT'94
…Modelling Processes Using a Stepwise Refinement Technique Jin Sa and B.C. Warboys, Department…
Cited by 8 (2 self) – Add To MetaCart

Mechanized Support for Stepwise Refinement
by Jan L.A. van de Snepscheut — 1994
… and an editor that provides support for the production of programs through the process of stepwise refinement. 1…
Add To MetaCart

Stepwise Program Derivation
by Dromey And Billington, R. G. Dromey, D. Billington — 1989 — Addison-Wesley, International Series in Computer Science
…STEPWISE PROGRAM DERIVATION R.G. Dromey and D. Billington Programming Methodology Research Group…
Cited by 7 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

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