عنوان

Program Transformation and Programming Environments

شابک

3642464904

شابک

3642464920

شابک

9783642464904

شابک

9783642464928

شماره

b568338

عنوان اصلي

Program Transformation and Programming Environments

نام عام مواد

[Book]

نام نخستين پديدآور

edited by Peter Pepper.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1984

عنوان فروست

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

متن يادداشت

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.

عنوان اصلي به زبان ديگر

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

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Software engineering.

مستند نام اشخاص تاييد نشده

edited by Peter Pepper.

مستند نام اشخاص تاييد نشده

Peter Pepper

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y