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

By Barbara Liskov, John V. Guttag

Abstraction and Specification in application improvement bargains pros in application layout and software program engineering a strategy that would allow them to build courses which are trustworthy and fairly effortless to appreciate, adjust, and continue. solid programming contains the systematic mastery of complexity, and this booklet offers the 1st unified remedy of the ideas 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 knowledge abstraction to provide hugely modular courses. The authors specialise in the method of decomposing huge application initiatives into self sustaining modules that may be assigned to autonomous operating teams. They speak about equipment of decomposition, the categories of modules which are most dear during this method, and methods to extend the chance that modules produced can in truth be recombined to resolve 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 booklet are written in CLU, certainly one of more and more languages in a position to help facts abstraction. enough fabric is incorporated, even though, to permit the reader to paintings in Pascal in addition. the cloth during this ebook was once built through the authors in the course of a decade of educating 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 integrated within the MIT electric Engineering and machine technology sequence.

Show description

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

Similar software development books

Managing Humans: Biting and Humorous Tales of a Software Engineering Manager

Coping with people is a variety of the simplest essays from Michael Lopp's site, Rands in Repose. Drawing on Lopp's administration reports at Apple, Netscape, Symantec, and Borland, this ebook is stuffed with tales in keeping with businesses within the Silicon Valley the place humans were identified to yell at one another.

Essential Software Architecture (2nd Edition)

Task titles like "Technical Architect" and "Chief Architect" these days abound within the software program undefined, but many of us suspect that "architecture" is among the such a lot overused and least understood phrases in specialist software program improvement. Gorton's e-book is helping unravel this concern.

Official (ISC)2 Guide to the CSSLP ((ISC)2 Press)

Because the international chief in info defense schooling and certification, (ISC)2® has a confirmed music checklist of training and certifying info safeguard execs. Its latest certification, the qualified safe software program Lifecycle specialist (CSSLP®) is a testomony to the organization’s ongoing dedication to info and software program safeguard.

Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering

Die Softwaretechnik bildet einen Grundpfeiler der Informatik. Jede Softwareentwicklung basiert auf Prinzipien, Methoden und Werkzeugen. Mit Basiskonzepten kann die Statik, Dynamik und Logik von Softwaresystemen beschrieben und modelliert werden. Die Anforderungen an ein neues Softwareprodukt zu ermitteln, zu spezifizieren, zu analysieren, zu validieren und daraus eine fachliche Lösung abzuleiten bzw.

Extra info for Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series)

Sample text

18 How to maintain the technical settings for the table YPERSON Fig. 19 Table structure After we maintain the Technical settings and enhancement category, we can activate the same as for the table YPERSON. The candidates can live only in an EU country. Therefore, we create a 1 to CN relationship between the tables. From the table YPERSON field ID_COUNTRY, we create a foreign key, (Fig. 22). The system can generate the graphical representation of the relationships we have defined between tables.

44 4 ABAP Dictionary Fig. 17 Change document for a data element When we want to create a new data element, we write its name and, with doubleclick, we activate the forward navigation. If this data element doesn’t exist, we are asked if we want to create the new data element (Fig. 16). We also want to specify that for a data element we can create a history, to be able to record all the changes we made. For example, we used the data element YTELEPHONE to define the field Telephone in the table YPERSON.

24). For each application, the Framework generates an URL. We find this URL in the Properties tab (Fig. 25). In the same time, we can specify here how the Messages are handled: • Show Message Component on demand – the Message Component is displayed only when we have a message; • Always Display Message Component – the Message Component is always displayed on the screen, even when we don’t have any messages. As Interface View, we have to specify the window name that will be called as default at runtime.

Download PDF sample

Rated 4.19 of 5 – based on 45 votes