Conferences in DBLP

IBM Scientific Symposium Series (ibm)
1974 (conf/ibm/1974)

1. Harlan D. Mills
   On the Development of Systems of Men and Machines. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:1-10 [Conf]
   
2. P. Hieman
   A New Look at the Program Development Process. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:11-37 [Conf]
   
3. F. Terry Baker
   Organizing for Structured Programming. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:38-86 [Conf]
   
4. H. Gerstmann, Hans Diel, W. Witzel
   The Reliability of Programming Systems. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:87-113 [Conf]
   
5. Albert Endres
   Fehleranalyse und Fehlerursachen in Systemprogrammen. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:114-160 [Conf]
   
6. Harwood G. Kolsky
   APLGOL - A Structured Programming Language for APL. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:161-191 [Conf]
   
7. Niklaus Wirth
   Systemprogramming aus der Sicht der Universität. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:192-202 [Conf]
   
8. Gerhard Goos
   Systemprogrmmiersprachen und Strukturiertes Programmieren. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:203-224 [Conf]
   
9. David Lorge Parnas
   Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs. [Citation Graph (0, 0)][DBLP]
   Programming Methodology, 1974, pp:225-235 [Conf]
   
10. Zohar Manna
    Knowledge and Reasoning in Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:236-277 [Conf]
    
11. James C. King
    A New Approach to Program Testing. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:278-290 [Conf]
    
12. Frances E. Allen
    Interprocedural Analysis and the Information derived by it. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:291-322 [Conf]
    
13. Gernot Urschler
    Neue Verfahren zur Optimierung und Parallelisierung von Programmen. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:323-346 [Conf]
    
14. Patricia C. Goldberg
    Automatic Programming. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:347-361 [Conf]
    
15. Burt M. Leavenworth
    Non-Procedural Programming. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:362-386 [Conf]
    
16. Cliff B. Jones
    Formal Definition in Program Development. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:387-443 [Conf]
    
17. Rupert Gnatz
    Programmierte Struturen. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:444-465 [Conf]
    
18. Günter Hotz
    Axiomatisierung bei Programmiersprachen und ihre Grenzen. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:466-476 [Conf]
    
19. Heinz Zemanek
    Formalization - History, Present and Future. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:477-501 [Conf]