Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1984

Program Transformation and Programming Environments

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

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)

Sections

Buy it now

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

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

Table of contents (32 papers)

  1. Front Matter

    Pages I-XIV
    PDF

  2. Digest of the Discussions

    1. Front Matter

      Pages 1-1
      PDF

    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
      PDF

    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

    7. The Role of Configuration Management

      • K. Ripken
      Pages 159-167

    9. Structure-Oriented Programming

      • Michael Jackson
      Pages 181-198
Back to top

Keywords

Back to top

Editors and Affiliations

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

    Peter Pepper

Back to top

Bibliographic Information

  • Book Title: Program Transformation and Programming Environments

  • Book Subtitle: Report on a Workshop, Munich, Germany, 12 to 16 September 1983

  • Editors: Peter Pepper

  • Series Title: NATO ASI Subseries F:

  • DOI: https://doi.org/10.1007/978-3-642-46490-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1984

  • Softcover ISBN: 978-3-642-46492-8Published: 29 February 2012

  • eBook ISBN: 978-3-642-46490-4Published: 06 December 2012

  • Series ISSN: 0258-1248

  • Edition Number: 1

  • Number of Pages: XIV, 380

  • Topics: Software Engineering

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation