A not-for-profit organization, IEEE is the world’s largest technical professional organization dedicated to advancing technology for the benefit of humanity. Written by a world-renowned expert on programming methodology, and the winner of the 2008 Turing Award, this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify. • Program design as a top-down, iterative process, and design patterns 16, Num. November 7, 1939, Leadership Intern Program (High School & College Students), Apply for the Collegiate Inventors Competition.
6, November 1994, pp. Barbara Huberman Liskov, American software engineering educator. Back to Inductee Search. Het substitutieprincipe van Liskov draagt haar naam.. Liskov is lid van de National Academy of Engineering en ze is fellow van de American Academy of Arts and Sciences.. Externe links. src="" alt="" class="gallery-slider__content__img" height="", data-src="/web/show-photo.jpg?id=946890&cache=false" She is a fellow of the American Academy of Arts and Sciences and the Association for Computing Machinery, and a charter fellow of the National Academy of Inventors. Assistant professor, department electrical engineering and computer science Massachusetts Institute of Technology, Cambridge, Massachusetts, 1972—1976, associate professor, department electrical engineering and computer science, 1976—1980, professor, department electrical engineering and computer science, since 1980, associate head for computer science, 2001—2004, Nippon Electric Corporation professor, software science and engineering, 1986—1997, Ford Professor Engineering, 1997—2008, associate provost for faculty equity, since 2007, Institute Professor, Department Electrical Engineering and Computer Science, since 2008, head, computer science and artificial intelligence laboratory programming methodology group. Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist [2] who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department. Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain. The Java programming language is used for the book's examples. Liskov's recent work focuses on practical Byzantine fault tolerance, involving techniques that allow a system to continue to operate even when some of its components fail. Applications programmer Mitre Corporation, Bedford, Massachusetts, 1961-1962, member technical staff, computer science Research and Development, 1968-1972.
Other topics discussed include: src="" alt="" class="gallery-slider__content__img" height="", data-src="/web/show-photo.jpg?id=946892&cache=false" I am a professor of computer science at the Massachusetts Institute of Technology (MIT). Barbara Huberman Liskov, American software engineering educator. • Techniques to help readers of code understand and reason about it, focusing on such properties as rep invariants and abstraction functions Served on numerous advisory committee Computer Science and Telecommunications Board National Research Council, Computer and Information Science and Engineering Advisory Committee for the National Science Foundation.Lecturer in field. Good programming involves the systematic mastery of complexity, and this book provides the first unified treatment of the techniques of abstraction and specification, which, the authors argue, are the linchpin of any effective approach to programming. Barbara Liskov is a pioneer in the design of computer programming languages, helping to make computer programs more reliable, secure, and easy to use. Sufficient material is included, however, to allow the reader to work in Pascal as well. Barbara Liskov. Biography. in mathematics from the University of California, Berkeley and her Ph.D. in computer science from Stanford. Her research interests include distributed and parallel systems, programming methodology, and programming languages. They place particular emphasis on the use of data abstraction to produce highly modular programs.
6,671,821 .
After working briefly at the Mitre Corporation, she joined MIT in 1972. Defines the Liskov Substitution Principle for correct subtyping that preserves safety properties. ( Use of this website signifies your agreement to the IEEE Terms and Conditions. However, the techniques presented are language independent, and an introduction to key Java concepts is included for programmers who may not be familiar with the language.
She is currently the Ford Professor of Engineering in the MIT School of Engineering's electrical engineering and computer science department and an institute professor at the Massachusetts Institute of Technology. US Patent No. src="" alt="" class="gallery-slider__content__img" height="".
Her research interests includes programming methodology, programming languages and systems, and distributed computing. Biography Barbara Liskov is an MIT Institute professor of computer science and engineering and head of the Programming Methodology Group. US Patent No. Achievements include being the first United States woman to be awarded a Doctor of Philosophy in computer science. Doctor of Philosophy in Computer Science, Stanford University, 1968.Doctor of Philosophy (honorary), Eidgenössische Technische Hochschule, Zurich, 2005. Her research interests include distributed and parallel systems, programming methodology, and programming languages. Liskov, Barbara Jane and Jeannette Wing, “A Behavioral Notion of Subtyping,” ACM Transactions on Programming Languages and Systems, Vol. www.pmg.csail.mit.edu. • Encapsulation and the need for an implementation to provide the behavior defined by the specification Programmer, language translation project Harvard University, Cambridge, 1962-1963. Most of the sample implementations in the book are written in CLU, one of a growing number of languages able to support data abstraction. Consultant on computer related issues for Bolt, Beranek, Newman, Candence, Digital Equipment Corporation, Hewlett-Packard, Intermetrics, NCR, Prime Computer, Cisco Systems. Born November 7, 1939 Barbara Liskov is a pioneer in the design of computer programming languages, helping to make computer programs more reliable, secure, and easy to use.
Lecturer in field. 6,671,821, Born Graduate research assistant in artificial intelligence Stanford University, Palo Alto, California, 1963-1968. • Tradeoffs between simplicity and performance computer scientist.
Written by a world-renowned expert on programming metho...). Liskov is also known for designing CLU, an object-oriented programming language, and Argus, a distributed programming language. Barbara Liskov, the developer of CLU, is Professor and John Guttag an Associate Professor of Computer Science at MIT. Her innovations can be found within almost all modern programming languages. 1811-1841. There are many examples of abstractions throughout the text, and each chapter ends with pertinent references and exercises. Both audiences will acquire a solid foundation for object-oriented program design and component-based software development from this methodology. Once logged in, you can add biography in the database, university professor
Barbara Liskov; Ask me a question. They discuss methods of decomposition, the kinds of modules that are most useful in this process, and techniques to increase the likelihood that modules produced can in fact be recombined to solve the original programming problem. An MIT Institute Professor, Liskov received her B.A. • Type hierarchy and its use in defining families of related data abstractions 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.
Indeed, the author treats data abstraction as the central paradigm in object-oriented program design and implementation. Her work with data abstraction began in the 1970s, showing how software could be made easier to construct, modify, and maintain by focusing on data rather than process. 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. Named one of 50 Most Important Women in Science, Discover Magazine, 2002, Top 100 Women in Computing, Open Computing Magazine; recipient Society Women Engineers' Achievement award, 1996. Named one of 50 Most Important Women in Science, Discover Magazine, 2002, Top 100 Women in Computing, Open Computing Magazine; recipient Society Women Engineers' Achievement award, 1996. Barbara Liskov is an Institute Professor at MIT. Master of Science in Computer Science, Stanford University, 1965. Prabook is a registered trademark of World Biographical Encyclopedia, Inc. src="/web/img/loading.gif" data-src="/web/show-photo.jpg?id=47066&cache=false" alt="Other photo of Barbara Huberman Liskov" class="gallery__img" height="167", src="/web/img/loading.gif" data-src="/web/show-photo.jpg?id=946889&cache=false" alt="Other photo of Barbara Huberman Liskov" class="gallery__img" height="167", src="/web/img/loading.gif" data-src="/web/show-photo.jpg?id=946890&cache=false" alt="Other photo of Barbara Huberman Liskov" class="gallery__img" height="167", src="/web/img/loading.gif" data-src="/web/show-photo.jpg?id=946891&cache=false" alt="Other photo of Barbara Huberman Liskov" class="gallery__img" height="167", src="/web/img/loading.gif" data-src="/web/show-photo.jpg?id=946892&cache=false" alt="Other photo of Barbara Huberman Liskov" class="gallery__img" height="167", data-src="/web/show-photo.jpg?id=47066&cache=false"
Learn about the Computer Pioneer Award. Applications programmer Mitre Corporation, Bedford, Massachusetts, 1961-1962, member technical staff, computer science Research and Development, 1968-1972. Bachelor in Mathematics, University California, Berkeley, 1961. For pioneering data abstraction, polymorphism, and support for fault tolerance and distributed computing in the programming languages CLU and Argus. Consultant on computer related issues for Bolt, Beranek, Newman, Candence, Digital Equipment Corporation, Hewlett-Packard, Intermetrics, NCR, Prime Computer, Cisco Systems. Biography Barbara Liskov is an Institute Professor at MIT. (en) Guttag, John V., MIT EECS - Barbara Liskov's biography by John Guttag in EECS centennial book.web.archive.org (2010-06-02, tekst oorspronkelijk uit 2003)).