Stop the war!
Остановите войну!
for scientists:
default search action
IBM Symposium: Programming Methodology 1974: Wildbad, Germany
- 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 - Harlan D. Mills:
On the Development of Systems of Men and Machines. 1-10 - P. Hieman:
A New Look at the Program Development Process. 11-37 - F. Terry Baker:
Organizing for Structured Programming. 38-86 - H. Gerstmann, Hans Diel, W. Witzel:
The Reliability of Programming Systems. 87-113 - Albert Endres:
Fehleranalyse und Fehlerursachen in Systemprogrammen. 114-160 - Harwood G. Kolsky:
APLGOL - A Structured Programming Language for APL. 161-191 - Niklaus Wirth:
Systemprogramming aus der Sicht der Universität. 192-202 - Gerhard Goos:
Systemprogrmmiersprachen und Strukturiertes Programmieren. 203-224 - David Lorge Parnas:
Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs. 225-235 - Zohar Manna:
Knowledge and Reasoning in Program Synthesis. 236-277 - James C. King:
A New Approach to Program Testing. 278-290 - Frances E. Allen:
Interprocedural Analysis and the Information derived by it. 291-322 - Gernot Urschler:
Neue Verfahren zur Optimierung und Parallelisierung von Programmen. 323-346 - Patricia C. Goldberg:
Automatic Programming. 347-361 - Burt M. Leavenworth:
Non-Procedural Programming. 362-386 - Cliff B. Jones:
Formal Definition in Program Development. 387-443 - Rupert Gnatz:
Programmierte Struturen. 444-465 - Günter Hotz:
Axiomatisierung bei Programmiersprachen und ihre Grenzen. 466-476 - Heinz Zemanek:
Formalization - History, Present and Future. 477-501
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.