product iamge

Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): H. D. Mills (auth.), Prof. Dr. Clemens E. Hackl (eds.)
Series: Lecture Notes in Computer Science 23
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1975

Language: English-German
Pages: 502
Tags: Computer Science, general

On the development of systems of men and machines....Pages 1-10
A new look at the program development process....Pages 11-37
Organizing for structured programming....Pages 38-86
The reliability of programming systems....Pages 87-113
Fehleranalyse und Fehlerursachen in Systemprogrammen....Pages 114-160
APLGOL a structured programming language for APL....Pages 161-191
Systemprogrammierung aus der Sicht der Universitaet....Pages 192-202
Systemprogrammiersprachen und strukturiertes Programmieren....Pages 203-224
Software engineering or methods for the multi-person construction of multi-version programs....Pages 225-235
Knowledge and reasoning in program synthesis....Pages 236-277
A new approach to program testing....Pages 278-290
Interprocedural analysis and the information derived by it....Pages 291-321
Neue Verfahren zur Optimisierung und Parallflisierung von Programmen....Pages 323-346
Automatic programming....Pages 347-361
Nonprocedural programming....Pages 362-385
Formal definition in program development....Pages 387-443
Programmierte Strukturen....Pages 444-465
Axiomatisierung von Programmiersprachen und ihre Grenzen....Pages 466-476
Formalization, history, present, and future....Pages 477-501