عنوان

Program Transformation and Programming Environments

(Number (ISBN

3642464904

(Number (ISBN

3642464920

(Number (ISBN

9783642464904

(Number (ISBN

9783642464928

Number

b568338

Title Proper

Program Transformation and Programming Environments

General Material Designation

[Book]

First Statement of Responsibility

edited by Peter Pepper.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1984

Series Title

NATO ASI Series, Computer and Systems Sciences ;, 8.

Text of Note

I: Digest of the Discussions --; 0. Introduction: What Industry Needs --; What Research Offers --; 1. Life Cycle Models and Programming Environments --; 2. Management & Organization --; 3. Formal Methods In Program Development --; 4. Software Specification --; 5. Program Development by Transformations --; 6. Acceptance of Formal Methods --; 7. Outlook --; 8. Conclusion --; II: Position Statements and Papers --; Coherent Development Methods in an Industrial High-Level Language Environment --; A Systematics of Software Engineering: Structure, Terminology, and Classification of Techniques --; Assessment of Software Quality --; Measuring Software Technology (together with D.N. Card, V.E. Church, G. Page, F.E. McGarry) --; Organizational Means to Increase Software Quality --; The Role of Configuration Management --; Understanding and Expressing Software Construction --; Structure-Oriented Programing --; Algebraic Methods for Program Construction: The Project CIP --; Specification and Transformation: Automated Implementation --; Algebraic Techniques for Program Specification --; Verification of Processes Using Program Transformation --; Exception Handling: Formal Specification and Systematic Program Construction (together with M. Bidoit, B. Biebow, C. Gresse, G. Guiho) --; Programming with Continuations (together with Ch. T. Haynes, E. Kohlbecker) --; Inferential Techniques for Program Development --; Lisp to Fortran --; Program Transformation Applied --; Language Comparison by Source-to-Source Translation --; The CIP Transformation System --; Transformation-Based Software Development --; Supercompilers --; Software Development and Inferential Programming --; Program Transformation in the ALICE Project --; From Geological Knowledge to Computational Relationships: A Case Study of the Expertise of Programing (together with R.D. Duffey II) --; List of Participants Glossary.

Parallel Title

Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

Computer science.

Software engineering.

edited by Peter Pepper.

Peter Pepper

Electronic name

[Book]

Y