E. W. Dijkstra. Structured Programming. Academic Press, 1972. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Data Structures in Java for Matrix Computations - Gundersen, Steihaug (2002) (Correct)
Software Evolution as the Key to Productivity - Nierstrasz (Correct)
Distributed Information Systems Tailorability: a.. - Theotokis, Kapos.. (Correct)
The formal method known as B and a sketch for its implementation - Kaijanaho (2002) (Correct)
Using Debug Tools To Help Produce Correct Programs - Clifford (1978) (Correct)
Reengineering the "Enterprise" Game to the Web - Mazanec (Correct)
Monitoring, Testing and Debugging of Distributed Real-Time Systems - Thane (2000) (1 citation) (Correct)
The Inevitable Pain of Software Development, Including of Extreme.. - Berry (Correct)
Formal Methods and Mechanical Verification applied to.. - Vos, Swierstra, Prasetya (1996) (Correct)
Hope: An Experimental Applicative Language - Burstall, MacQueen, Sannella (1980) (89 citations) (Correct)
Software Processes: a Retrospective and a Path to the Future - Cugola, Ghezzi (1998) (10 citations) (Correct)
Formal Model For Software Systems Composition - Marin (2000) (Correct)
A Brief Survey of Software Architecture - Land (2002) (Correct)
On the Search for Tractable Ways of Reasoning about Programs - Jones (2001) (8 citations) (Correct)
Design And Evaluation Of - Emergent Behaviour For (Correct)
The ASM Method: a Cornerstone in Computer Science Education - Börger (2005) (Correct)
Flexibility in Statically Scheduled Hard Real-Time Systems - Fohler (1994) (9 citations) (Correct)
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
Security testing of SIP implementations - Wieser, Laakso, Schulzrinne (2003) (Correct)
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) (Correct)
Trust-By-Contract: Modelling, Analysing And Predicting.. - Schmidt, Poernomo.. (2001) (Correct)
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) (Correct)
A Methodology for Constructing Predicate Transition Net.. - He, Lee (1991) (4 citations) (Correct)
Why Do We Need a Floating-Point Arithmetic Standard? - Kahan (1981) (2 citations) Self-citation (Dijkstra) (Correct)
First 50 documents Next 50
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