N. Wirth, "Programming Development by Stepwise refinement", Comm. of ACM, Vol. 14, No. 4, pp 221-227, 1971. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Programming-Language Extension for Distributed Real-Time.. - Hooman, van Roosmalen (1996) (Correct)
....is needed in then present context to be able to demonstrate that correctness of real time programs can be established independent of the execution platform. 2 Composability and reusability of real time programs It is generally recognized that problem decomposition and stepwise refinement [25, 9] are important programming strategies. When only functional aspects of programs are considered, there are no major problems in applying these strategies: the functional behavior of a component can be made to depend strictly on the explicitly declared interfaces offered by others. Thus, based on ....
N. Wirth, "Programming Development by Stepwise refinement", Comm. of ACM, Vol. 14, No. 4, pp 221-227, 1971.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC