Volume 8 1984

Program Transformation and Programming Environments

Editors:

ISBN: 978-3-642-46492-8 (Print) 978-3-642-46490-4 (Online)

Table of contents (32 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XIV

  2. Digest of the Discussions

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-4

      Introduction: What Industry Needs - What Research Offers

    3. No Access

      Book Chapter

      Pages 5-8

      Life Cycle Models and Programming Environments

    4. No Access

      Book Chapter

      Pages 9-15

      Management & Organization

    5. No Access

      Book Chapter

      Pages 17-21

      Formal Methods in Program Development

    6. No Access

      Book Chapter

      Pages 23-47

      Software Specification

    7. No Access

      Book Chapter

      Pages 49-67

      Program Development by Transformations

    8. No Access

      Book Chapter

      Pages 69-77

      Acceptance of Formal Methods

    9. No Access

      Book Chapter

      Pages 79-80

      Outlook

    10. No Access

      Book Chapter

      Pages 81-81

      Conclusion

  3. Position Statements and Papers

    1. Front Matter

      Pages 83-83

    2. No Access

      Book Chapter

      Pages 85-96

      Coherent Development Methods in an Industrial High Level Langage Environment

    3. No Access

      Book Chapter

      Pages 97-125

      A systematics of software engineering: Structure, terminology and classification of techniques

    4. No Access

      Book Chapter

      Pages 127-139

      Assessment of Software Quality

    5. No Access

      Book Chapter

      Pages 141-146

      Measuring Software Technology

    6. No Access

      Book Chapter

      Pages 147-157

      Organizational Means to Increase Software Quality

    7. No Access

      Book Chapter

      Pages 159-167

      The Role of Configuration Management

    8. No Access

      Book Chapter

      Pages 169-180

      Understanding and Expressing Software Construction

    9. No Access

      Book Chapter

      Pages 181-198

      Structure-Oriented Programming

    10. No Access

      Book Chapter

      Pages 199-222

      Algebraic Methods for Program Construction: The Project CIP

    11. No Access

      Book Chapter

      Pages 223-230

      Specification and Transformation: Automated Implementation

    12. No Access

      Book Chapter

      Pages 231-243

      Algebraic Techniques for Program Specification

previous Page of 2