|
" Program Transformation and Programming Environments "
edited by Peter Pepper.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
748382
|
| Doc. No
|
:
|
b568338
|
| Main Entry
|
:
|
edited by Peter Pepper.
|
| Title & Author
|
:
|
Program Transformation and Programming Environments\ edited by Peter Pepper.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1984
|
| Series Statement
|
:
|
NATO ASI Series, Computer and Systems Sciences ;, 8.
|
| ISBN
|
:
|
3642464904
|
|
|
:
|
: 3642464920
|
|
|
:
|
: 9783642464904
|
|
|
:
|
: 9783642464928
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
Peter Pepper
|
| Parallel Title
|
:
|
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
|
| |