Skip to main content
SpringerLink
Log in

Contracts, Scenarios and Prototypes

An Integrated Approach to High Quality Software

  • Book
  • © 2004

Overview

Authors:
  1. Reinhold Plösch

    1. Institut für Wirtschaftsinformatik, Johannes Kepler Universität, Linz, Austria

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Combination of process and programming methodologies into one cohesive framework
  • Scientifically solid, yet practically affordable and understandable approach
  • Appropriate for AVERAGE developers in AVERAGE projects
  • Description based on standards like UML/OCL, CORBA, EJB
  • Enhanced by best-practices chapters with real-world examples
  • Includes supplementary material: sn.pub/extras

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover 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 (11 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Software Quality

    • Reinhold Plösch
    Pages 5-8

  3. Contracts

    • Reinhold Plösch
    Pages 9-38

  4. Contracts and Analysis

    • Reinhold Plösch
    Pages 39-56

  5. Scenarios

    • Reinhold Plösch
    Pages 57-77

  6. Scenarios and Analysis

    • Reinhold Plösch
    Pages 79-106

  7. Contracts and Scenarios in the Software Development Process

    • Reinhold Plösch
    Pages 107-129

  8. Prototyping with Contracts and Scenarios

    • Reinhold Plösch
    Pages 131-165

  9. Contracts and Type Systems

    • Reinhold Plösch
    Pages 167-177

  10. Summarizing Remarks

    • Reinhold Plösch
    Pages 178-180

  11. Appendix A: A Monitoring and Control Case Study — An Overview of the Deployment Process

    • Reinhold Plösch
    Pages 181-193

  12. Appendix B: Grammar of SCL (Simple Contract Language)

    • Reinhold Plösch
    Pages 195-196

  13. Back Matter

    Pages 197-215
    Download chapter PDF
Back to top

Keywords

About this book

What is this Book About? At the beginning of the 21st century, computer systems—and especially so- ware—play an important role in our society. Software is contained in virtually every technical device that we use in everyday life (e.g., cellular phones and cars). Furthermore, computers and their software are used for leisure purposes at home (the Internet and computer games), at the office (e.g., writing letters and order processing), and for more complicated tasks such as controlling steel plants or insuring flight safety. Therefore, the quality of software (e.g., its correctness, re- ability, and efficiency) has become important not only in the context of critical systems (e.g., nuclear power plants) but also for our entire society, from business to leisure. Software engineering is the practical application of scientific knowledge for the economical production and use of high-quality software [Pomberger96]. The discipline aims at developing methods, techniques, tools, and standards to fulfill these aims. The number of methods and tools available to the software engineer nowadays is overwhelming; nevertheless, many software projects fail—that is, do not meet their schedules, are over budget, do not meet the user needs, or simply have considerable quality defects. The numerous possible explanations for this situation include poor project management, unsuitable methods and tools used in the project, and poorly developed skills of the participating software engineers.

Authors and Affiliations

  • Institut für Wirtschaftsinformatik, Johannes Kepler Universität, Linz, Austria

    Reinhold Plösch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation