Abstraction and specification in program development - download pdf or read online

By Barbara Liskov, John V. Guttag

ISBN-10: 0262121123

ISBN-13: 9780262121125

Abstraction and Specification in application improvement deals execs in software layout and software program engineering a technique that might allow them to build courses which are trustworthy and fairly effortless to appreciate, adjust, and keep. solid programming comprises the systematic mastery of complexity, and this publication offers the 1st unified remedy of the recommendations 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 concentrate on the method of decomposing huge software initiatives into self sustaining modules that may be assigned to self sufficient operating teams. They talk about tools of decomposition, the types of modules which are Most worthy during this procedure, and strategies to extend the chance that modules produced can in reality be recombined to unravel the unique programming challenge. there are numerous examples of abstractions during the textual content, and every bankruptcy ends with pertinent references and workouts. lots of the pattern implementations within the booklet are written in CLU, one in all an increasing number of languages capable of aid facts abstraction. adequate fabric is incorporated, even if, to permit the reader to paintings in Pascal to boot. the cloth during this booklet was once built via 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 laptop technology at MIT. Abstraction and Specification in application improvement is integrated within the MIT electric Engineering and desktop technological know-how sequence.

Show description

Read or Download Abstraction and specification in program development PDF

Best databases books

Get Ontologies and Databases: A Special Issue of Distributed PDF

Ontologies and Databases brings jointly in a single position vital contributions and up to date study ends up in this fast-paced zone. Ontologies and Databases serves as a good reference, offering perception into one of the most not easy study concerns within the box.

Download e-book for kindle: Access 2010 For Dummies by Laurie Ulrich Fuller

A pleasant, step by step advisor to the Microsoft workplace database applicationAccess could be the least understood and so much tough program within the Microsoft place of work suite. This consultant is designed to assist someone who lacks adventure in developing and dealing with a database discover ways to use entry 2010 speedy and simply.

Extra info for Abstraction and specification in program development

Example text

The feverish work of the respective PHP and MySQL communities prompted this new edition—and with it considerable changes over the previous version. In addition to updating the material to reflect features found in the latest PHP and MySQL releases, you'll find a new chapter introducing the concept of AJAX and the popular jQuery JavaScript library. Furthermore, all existing chapters have been carefully revised, and in some cases heavily modified, in order to both update and improve upon the previous edition's material.

The result is a language that allows the user to build powerful applications even with a minimum of knowledge. For instance, a useful PHP script can consist of as little as one line; unlike C, there is no need for the mandatory inclusion of libraries. > 5 CHAPTER 1  INTRODUCING PHP Don’t worry if this looks foreign to you. In later chapters, the PHP syntax will be explained in great detail. For the moment, just try to get the gist of what’s going on. Another example of the language’s penchant for compactness is its ability to nest functions.

This knowledge can be useful in evaluating whether your web environment is suitable for a particular project, and also in troubleshooting problems with installing third-party software (which may arise due to a misconfigured or hobbled PHP installation). In this chapter you’ll work through the process of installing PHP on both the Windows and Linux platforms. Because PHP is of little use without a web server, along the way you’ll learn how to install and configure Apache on both Windows and Linux, and Microsoft IIS 7 on Windows.

Download PDF sample

Abstraction and specification in program development by Barbara Liskov, John V. Guttag

by Paul

Rated 4.38 of 5 – based on 26 votes