ask others

IBM Symposium: Programming Methodology 1974: Wildbad, Germany

> Home > Conferences and Workshops > IBM Symposium

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/1974
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/1974
Clemens Hackl:
Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974. Lecture Notes in Computer Science 23, Springer 1975, ISBN 3-540-07131-8
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Mills74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Mills74
Harlan D. Mills:
On the Development of Systems of Men and Machines. 1-10
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Hieman74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Hieman74
P. Hieman:
A New Look at the Program Development Process. 11-37
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Baker74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Baker74
F. Terry Baker:
Organizing for Structured Programming. 38-86
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/GerstmannDW74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/GerstmannDW74
H. Gerstmann, Hans Diel, W. Witzel:
The Reliability of Programming Systems. 87-113
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Endres74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Endres74
Albert Endres:
Fehleranalyse und Fehlerursachen in Systemprogrammen. 114-160
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Kolsky74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Kolsky74
Harwood G. Kolsky:
APLGOL - A Structured Programming Language for APL. 161-191
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Wirth74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Wirth74
Niklaus Wirth:
Systemprogramming aus der Sicht der Universität. 192-202
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Goos74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Goos74
Gerhard Goos:
Systemprogrmmiersprachen und Strukturiertes Programmieren. 203-224
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Parnas74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Parnas74
David Lorge Parnas:
Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs. 225-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Manna74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Manna74
Zohar Manna:
Knowledge and Reasoning in Program Synthesis. 236-277
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/King74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/King74
James C. King:
A New Approach to Program Testing. 278-290
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Allen74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Allen74
Frances E. Allen:
Interprocedural Analysis and the Information derived by it. 291-322
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Urschler74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Urschler74
Gernot Urschler:
Neue Verfahren zur Optimierung und Parallelisierung von Programmen. 323-346
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Goldberg74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Goldberg74
Patricia C. Goldberg:
Automatic Programming. 347-361
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Leavenworth74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Leavenworth74
Burt M. Leavenworth:
Non-Procedural Programming. 362-386
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Jones74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Jones74
Cliff B. Jones:
Formal Definition in Program Development. 387-443
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Gnatz74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Gnatz74
Rupert Gnatz:
Programmierte Struturen. 444-465
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Hotz74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Hotz74
Günter Hotz:
Axiomatisierung bei Programmiersprachen und ihre Grenzen. 466-476
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ibm/Zemanek74
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ibm/Zemanek74
Heinz Zemanek:
Formalization - History, Present and Future. 477-501