عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
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
