Skip to main content
SpringerLink
Log in

Program Transformation and Programming Environments

Report on a Workshop, Munich, Germany, 12 to 16 September 1983

  • Conference proceedings
  • © 1984

Overview

Editors:
  1. Peter Pepper

    1. Institut für Informatik, Technische Universität München, Federal Republic of Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: NATO ASI Subseries F: (NATO ASI F, volume 8)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Digest of the Discussions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction: What Industry Needs - What Research Offers

      • Peter Pepper
      Pages 3-4

    3. Life Cycle Models and Programming Environments

      • Peter Pepper
      Pages 5-8

    4. Management & Organization

      • Peter Pepper
      Pages 9-15

    5. Formal Methods in Program Development

      • Peter Pepper
      Pages 17-21

    6. Software Specification

      • Peter Pepper
      Pages 23-47

    7. Program Development by Transformations

      • Peter Pepper
      Pages 49-67

    8. Acceptance of Formal Methods

      • Peter Pepper
      Pages 69-77

    9. Outlook

      • Peter Pepper
      Pages 79-80

    10. Conclusion

      • Peter Pepper
      Pages 81-81

  3. Position Statements and Papers

    1. Front Matter

      Pages 83-83
      Download chapter PDF

    2. Coherent Development Methods in an Industrial High Level Langage Environment

      • K. Ripken
      Pages 85-96

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

      • Wolfgang Hesse
      Pages 97-125

    4. Assessment of Software Quality

      • Horst Remus
      Pages 127-139

    5. Measuring Software Technology

      • W. W. Agresti, D. N. Card, V. E. Church, G. Page, F. E. McGarry
      Pages 141-146

    6. Organizational Means to Increase Software Quality

      • Horst Remus
      Pages 147-157

    7. The Role of Configuration Management

      • K. Ripken
      Pages 159-167

    8. Understanding and Expressing Software Construction

      • M. Sintzoff
      Pages 169-180

    9. Structure-Oriented Programming

      • Michael Jackson
      Pages 181-198
Back to top

Keywords

Editors and Affiliations

  • Institut für Informatik, Technische Universität München, Federal Republic of Germany

    Peter Pepper

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation