The Java programming language is used for the book’s examples. However, the techniques presented are language independent, and an introduction to key. Program Development in Java: Abstraction, Specification, and Object-oriented Design. Front Cover . Barbara Liskov is professor of computer science at MIT. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Barbara Liskov, Massachusetts Institute of Technology. John Guttag.

Author: Kagajinn Samule
Country: Turks & Caicos Islands
Language: English (Spanish)
Genre: Career
Published (Last): 15 January 2016
Pages: 194
PDF File Size: 3.31 Mb
ePub File Size: 3.84 Mb
ISBN: 658-2-57061-804-8
Downloads: 90248
Price: Free* [*Free Regsitration Required]
Uploader: Sakinos

Barbara LiskovJohn Guttag.

The Java programming language is used for the book’s examples. Cookies ni little nuggets of information that web servers store on your computer to make it easier for them to keep track of your browsing session. The method described by the dsvelopment takes advantage of the object-oriented features of Java.

Well known for her contributions to programming methodology and software engineering, she is co-author with John Guttag of the influential book, Abstraction and Specification in Program Development.

Barbara Liskov is professor of computer science at MIT. Table of Contents 1. User Review – Flag as inappropriate Writing large scale programs is difficult. Cookies come in two flavours – persistent and transient. Instructor resource lismov download The work is protected by local and international copyright laws and is provided solely for the use of instructors in teaching their courses and assessing student learning.


Understanding Objects in Java.

Abstraction, Specification, and Object-Oriented Design 2 reviews. Indeed, the author treats data abstraction as the central paradigm in object-oriented program design and implementation.

Program Development in Java: Abstraction, Specification, and Object-Oriented Design

This is the best book on object oriented programming, for mathematically oriented developers. All mainstream modern browsers have cookies enabled devdlopment default, so if you’ve been directed to this page it probably means you’re uisng a weird and wonderful browser of your own choosing, or have disabled cookies yourself. Authentication ends after about 15 minutues of inactivity, or when you explicitly choose to end it.

Its emphasis is on modular program construction: The Java programming language is used for the book’s examples. A activation email has been sent to you. Account Options Sign in.

If you use this programming method, your programs will be more robust, easier to understand, and easier to modify. You have successfully signed out and will be required to sign back in should you need to download more resources.

Both dvelopment will acquire a solid foundation for object-oriented program design and component-based software development from this methodology.

: Cookies

Sign Up Already have an access code? We don’t recognize your username or password. Techniques to help readers of code understand and reason about it, focusing on such properties as rep invariants and abstraction functions. Because each module in a program corresponds to an abstraction, such as a collection of documents or a routine to search the collection for documents of interest, the book first explains the kinds of abstractions most useful to programmers: Other topics discussed include: Barbara is the recipient of the A.


Turing Award, one of the highest honors in science and engineering. The methodology, which specifically shows students how to decompose a programming problem into parts and then how to build a desired program from independent modules, is especially critical for larger programs, often worked on by teams. Abstraction, Specification, and Object-Oriented Design.

Program Development In Java

Get unlimited access to videos, barbsra online training, learning paths, books, tutorials, and more. View table of contents. Email address subscribed successfully. Description The topic of this book is more efficient and effective programming practice.

The author also shows, with numerous examples, how to develop informal specifications that define these abstractions–specifications that describe what the modules do–and then discusses how to implement the modules so that they do what they are supposed to do with acceptable performance.