Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983

ISBN-13: 9783642464928 / Angielski / Miękka / 2012 / 380 str.

Peter Pepper

Opis

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

Spis treści

I: Digest of the Discussions.- 0. Introduction: What Industry Needs - What Research Offers.- 1. Life Cycle Models and Programming Environments.- 1.1 Life Cycle.- 1.2 Programming Environments.- 2. Management & Organization.- 2.1 Quality and Productivity.- 2.1.1 What is “Quality”?.- 2.1.2 How Do We Measure Quality?.- 2.1.3 How Do We Measure Productivity?.- 2.2 Management of Software Development.- 2.2.1 Methods.- 2.2.2 The Role of Domain Knowledge.- 2.2.3 Programmers’ Expertise.- 2.3 Maintenance and Version Management.- 3. Formal Methods In Program Development.- 3.1 The Role of Abstraction and (Mathematical) Notation.- 3.2 What Can Be Formally Specified?.- 3.2.1 Expression of Constraints.- 3.2.2 Performance Requirements.- 3.2.3 “Niceness” Properties.- 3.3 Programming as a Formal Activity.- 4. Software Specification.- 4.1 Specifications as a Contract.- 4.2 Real-World Modelling and Requirements Engineering.- 4.2.1 Open vs. Closed Systems.- 4.2.2 Requirements Engineering and Transformations.- 4.3 Equivalence of Specifications.- 4.3.1 Transitions Between Informal and Formal Specifications.- 4.3.2 Changes of Specifications.- 4.4 Methodology of Specification.- 4.4.1 Top-down vs. Bottom-up and Other Dichotomies.- 4.4.2 The Influence of Existing Environments.- 4.4.3 The Role of Design Decisions.- 4.4.4 Impact on Implementations.- 4.4.5 Incomplete Specification vs. Overspecification.- 4.5 Specification Tools and Languages.- 4.5.1 Adequacy of Specification Languages.- 4.5.2 A Need For Several Specification Languages.- 4.5.3 Partially Formalized Specifications.- 4.5.4 Exception Handling.- 4.5.5 The Impact of Semantics.- 5. Program Development by Transformations.- 5.1 Usage of Transformations.- 5.1.1 Understanding and Explaining Algorithms.- 5.1.2 Transformation and Documentation.- 5.1.3 Families of Programs.- 5.1.4 Transformations and Compilers.- 5.2 Language (Independence of Transformations.- 5.2.1 “Transformational” vs. “Active” Programming.- 5.3 Transformation Systems.- 5.3.1 Performance of Transformation Systems.- 5.3.2 Size of Rule Bases.- 5.4 Development Strategies.- 5.5 Managerial Problems of Transformational Programming.- 6. Acceptance of Formal Methods.- 6.1 Range of Application of Formal Methods.- 6.2 Impact on Quality and Productivity.- 6.2.1 Effect of Good and Bad Products.- 6.2.2 Expected Impact of Formal Methods.- 6.3 Social Aspects: Education.- 6.4 How Can Formal Methods Be Brought to Industry?.- 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.