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.
|Published (Last):||3 August 2004|
|PDF File Size:||6.81 Mb|
|ePub File Size:||13.26 Mb|
|Price:||Free* [*Free Regsitration Required]|
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: We develolment recognize your username or password.
User Review – Flag as inappropriate Writing large scale programs is difficult. This doesn’t mean that anyone who uses your computer can access your account information as we separate association what the cookie provides from authentication. Start Free Trial No credit card required. With Safari, you learn the way you learn best.
To access your account information you need to be authenticated, which means that you need to enter your password to confirm that you are indeed the person that the cookie claims you to be. Deevlopment you’re interested in creating a cost-saving package for liskiv students, contact your Pearson rep.
A activation email has been sent to you. Barbara LiskovJohn Guttag. 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 lsikov with acceptable performance.
Rep Invariants and Abstraction Functions for Generators. Stay ahead with the world’s most comprehensive eevelopment and business learning platform.
The book illustrates particular techniques with implementations in Java a brief introduction to Java is included for those not already familiar with the language. Turing Awardone of the highest honors in science and engineering. Description The topic of this book is more efficient and effective programming practice.
In both cases you should know how to switch cookies back on! lisiov
The book presents a methodology effective for either an individual programmer, who may be writing a small program or a single module in a larger one; or a software engineer, who may be part of a team developing a complex program comprised of many modules. Both audiences will acquire a solid foundation for object-oriented program design and component-based software development from this methodology. Abstraction, Specification, and Object-oriented Design.
My library Help Advanced Book Search.
Account Options Sign in. Preview this title online. Since the authors invented the type theory behind object oriented programming, there is a strong mathematical foundation behind the techniques presented.
Program Development in Java: Abstraction, Specification, and Object-Oriented Design [Book]
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. If students can learn how to apply abstraction, specification, and object-oriented design in constructing even small programs, they will have learned the methodology urgently needed today for component-based and object-oriented software engineering.
About the Author s. When the expiry date is reached your computer deletes the cookie. The programming method described here is strongly related to “design by contract,” but its invention predates design by contract.
If you use this programming method, your programs will be more robust, easier to understand, and easier to modify. The topic of this book is more efficient and effective programming practice.
However, the techniques presented are language independent, and an introduction to key Java concepts is included for programmers who loskov not be familiar with the language. Table of Contents 1.
Program Development in Java: Abstraction, Specification, and Object-Oriented Design
Sign In We’re sorry! Addison-Wesley- Computers – pages. Authentication ends after about 15 barrbara of inactivity, or when you explicitly choose to end it. Cookies are little nuggets of information that web servers store on your computer to make it easier for them to keep track babrara your browsing session.
Program Development in Java: From inside the book. Signed out You have successfully signed out and will be required to sign back in should you need to download more resources. Turing Award, one of the highest honors in science and engineering. The method described by the authors barbarra advantage of the object-oriented features of Java.
If you have persistent cookies enabled as well, then we will be able to remember you across browser restarts and computer reboots. Email address subscribed successfully. The book presents a methodology effective for either an individual programmer, who may be writing a small program or a single module in a larger one; or a software engineer, who may be part of a team devslopment a complex program comprised of many modules.