Contracts, Scenarios and Prototypes: An Integrated Approach - download pdf or read online

By Reinhold Ploesch

ISBN-10: 3642185649

ISBN-13: 9783642185649

ISBN-10: 3642621600

ISBN-13: 9783642621604

What is that this publication approximately? first and foremost of the twenty first century, desktop systems—and specially so- ware—play a tremendous position in our society. software program is contained in almost each technical equipment that we use in way of life (e.g., mobile telephones and cars). in addition, desktops and their software program are used for relaxation reasons at domestic (the net and desktop games), on the workplace (e.g., writing letters and order processing), and for extra complex projects equivalent to controlling metal crops or insuring flight safeguard. accordingly, the standard of software program (e.g., its correctness, re- skill, and potency) has turn into vital not just within the context of serious structures (e.g., nuclear energy crops) but in addition for our whole society, from enterprise to rest. software program engineering is the sensible program of clinical wisdom for the low-cost creation and use of top quality software program [Pomberger96]. The self-discipline goals at constructing tools, strategies, instruments, and criteria to meet those goals. The variety of equipment and instruments on hand to the software program engineer these days is overwhelming; however, many software program tasks fail—that is, don't meet their schedules, are over funds, don't meet the consumer wishes, or just have enormous caliber defects. the varied attainable factors for this example contain terrible undertaking administration, incorrect tools and instruments utilized in the venture, and poorly built talents of the engaging software program engineers.

Show description

Read or Download Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software PDF

Best software books

Facts And Fallacies Of Software Engineering by Robert L. Glass PDF

This advisor identifies some of the key difficulties hampering good fortune during this box. Covers administration, all levels of the software program lifecycle, caliber, learn, and extra. writer offers ten universal fallacies that aid help the fifty-five evidence. Softcover.
Alt. ISBN:9780321117427, 0321117425, 9780321117427

Download PDF by Alonso Morgado, Rocío del Río, Visit Amazon's José M. de la: Nanometer CMOS Sigma-Delta Modulators for Software Defined

This booklet provides cutting edge ideas for the implementation of Sigma-Delta Modulation (SDM) established Analog-to-Digital Conversion (ADC), required for the subsequent new release of instant handheld terminals. those units could be in accordance with the so-called multi-standard transceiver chipsets, built-in in nanometer CMOS applied sciences.

Extra info for Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software

Sample text

This effect occurs not only for implementation inheritance but also in conjunction with interfaces. Rewriting the BankAccount example using interfaces leads to similar problems, as inheritance is also allowed for interfaces: 24 2 Contracts public interface BankAccountIF { ... public void deposit(float amount) { ... } pre: amount > 0 ... } public interface SavingsAccountIF extends BankAccountIF { ... public void deposit(float amount) { ... } pre: amount > 100 ... } public class BankAccount implements BankAccountIF { ...

10), some operations are only available for specific collections. Figure 11 gives an overview. Fig. 11. Specific operations on collections Some of the operations specified in Fig. 11 (append and preprend) also change collections. Nevertheless, in OCL these operations are side effect free, as these operations always work on a copy of the original collection. Some examples that illustrate the use of some of the operations listed in Fig. 11 are as follows: Customer::addBankAccount(a: BankAccount) post: accounts->last() = a Customer::addBankAccount(a: BankAccount) post: accounts@pre->append(a) = accounts Unfortunately, OCL has no explicit rules to indicate whether or not an assertion in a superclass is inherited by the subclasses.

There is some evidence (see [Rosenblum95] and [Meyer97b]) that assertions have positive effects on the overall software quality, especially on the correctness of software. Nevertheless, only a limited number of programming languages directly support contracts in the way described in the preceding sections. The goal of this chapter is to describe different possible approaches to supporting contracts in a programming language or programming system. Furthermore, we give an overview of programming languages and systems that support assertions in one way or another, and we define criteria for evaluating the level of contract support.

Download PDF sample

Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software by Reinhold Ploesch

by Edward

Rated 4.62 of 5 – based on 25 votes