Download Abstraction and Specification in Program Development (MIT by Barbara Liskov, John V. Guttag PDF

By Barbara Liskov, John V. Guttag

ISBN-10: 0262121123

ISBN-13: 9780262121125

Abstraction and Specification in software improvement bargains pros in application layout and software program engineering a strategy that would let them to build courses which are trustworthy and fairly effortless to appreciate, regulate, and keep. strong programming contains the systematic mastery of complexity, and this e-book presents the 1st unified therapy of the strategies of abstraction and specification, which, the authors argue, are the linchpin of any powerful method of programming. They position specific emphasis at the use of information abstraction to supply hugely modular courses. The authors specialise in the method of decomposing huge application initiatives into self sufficient modules that may be assigned to self sufficient operating teams. They speak about tools of decomposition, the categories of modules which are most precious during this method, and methods to extend the possibility that modules produced can actually be recombined to unravel the unique programming challenge. there are various examples of abstractions through the textual content, and every bankruptcy ends with pertinent references and workouts. lots of the pattern implementations within the ebook are written in CLU, one in every of an increasing number of languages capable of help info abstraction. adequate fabric is integrated, besides the fact that, to permit the reader to paintings in Pascal to boot. the fabric during this e-book used to be built through the authors in the course of a decade of training undergraduate, graduate, and professional-level classes. Barbara Liskov, the developer of CLU, is Professor and John Guttag an affiliate Professor of desktop technological know-how at MIT. Abstraction and Specification in application improvement is incorporated within the MIT electric Engineering and desktop technology sequence.

Show description

Read or Download Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series) PDF

Best software development books

Handbook of Software Engineering and Knowledge Engineering: Recent Advances

The booklet covers the new new advances in software program engineering and information engineering. it really is meant as a complement to the two-volume guide of software program engineering and data engineering. The editor and authors are recognized overseas specialists of their respective fields of workmanship. each one bankruptcy within the publication is completely self-contained and offers in-depth info on a selected subject of present curiosity.

Programming Elixir

You need to discover useful programming, yet are get rid of via the educational think (tell me approximately monads only one extra time). you recognize you would like concurrent purposes, but additionally be aware of those are nearly most unlikely to get correct. Meet Elixir, a useful, concurrent language outfitted at the rock-solid Erlang VM.

Consumption Economics: The New Rules of Tech

If you’re a tech corporation, the main dramatic impression of megatrends like cloud computing, controlled providers, and the increase of purchaser expertise won’t be felt on your company’s product line. the genuine disruption can be for your enterprise version. destiny consumers won’t are looking to pay you excessive costs out of massive “CapEx” budgets anymore.

Additional resources for Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series)

Sample text

4 Problem-Solving Process Variables Phase Description Activities Resources Controls One or more tasks identified and required to solve the problem Means by which activities are performed Internal properties of the organization that place bounds on the solution, or the solution process, for the problem time required to solve the problem. Controls, on the other hand, are internal constraints set by the development organization that limit the possible solutions so that they align well with the organizational goals and current practices.

In these cases, designers need to consider not only technical aspects of the design but also the distribution of employees, organizational goals, resource availability, and so forth. Designs that support integration of distributed expertise across sites can introduce capabilities for building new software products that could not be engineered otherwise. This in turn can Introduction to Software Engineering Design • 15 influence the developing organization to target new areas of businesses, therefore allowing the software design to influence its business goals.

These typically do not require design work. However, for adaptations or improvements, design work may be required to accommodate the changes. Together, all phases of the software engineering life cycle work together to define the functions that the software must provide, to transform these functions into technical solutions, to implement those solutions, and to validate their implementation and ensure the quality of the system throughout future versions. Introduction to Software Engineering Design • 17 SOFTWARE DESIGN PROCESS In the previous section, the design phase was briefly mentioned as a means for determining its place within the software engineering process.

Download PDF sample

Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series) by Barbara Liskov, John V. Guttag

by Brian

Rated 4.54 of 5 – based on 46 votes