Codecharts: Roadmaps and Blueprints for Object-Oriented Programs Contributor(s): Eden, Amnon H. (Author), Nicholson, J. (Contribution by) |
|||
ISBN: 0470626941 ISBN-13: 9780470626948 Publisher: Wiley
Binding Type: Hardcover - See All Available Formats & Editions Published: May 2011 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Programming - Object Oriented |
Dewey: 005.117 |
LCCN: 2010013941 |
Physical Information: 0.6" H x 6.9" W x 9.6" L (1.00 lbs) 272 pages |
Features: Bibliography, Illustrated, Index, Table of Contents |
Review Citations: Reference and Research Bk News 08/01/2011 pg. 198 |
Descriptions, Reviews, Etc. |
Publisher Description: NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND PRECISELY Popular software modelling notations visualize implementation minutiae but fail to scale, to capture design abstractions, and to deliver effective tool support. Tailored to overcome these limitations, Codecharts can elegantly model roadmaps and blueprints for Java, C++, and C# programs of any size clearly, precisely, and at any level of abstraction. More practically, significant productivity gains for programmers using tools supporting Codecharts have been demonstrated in controlled experiments. Hundreds of figures and examples in this book illustrate how Codecharts are used to:
Tools supporting Codecharts are also shown here to:
This classroom-tested book includes two main parts: Practice (Part I) offers experienced programmers, software designers and software engineering students practical tools for representing and communicating object-oriented design. It demonstrates how to model programs, patterns, libraries, and frameworks using examples from JDK, Java 3D, JUnit, JDOM, Enterprise JavaBeans, and the Composite, Iterator, Factory Method, Abstract Factory, and Proxy design patterns. Theory (Part II) offers a mathematical foundation for Codecharts to graduate students and researchers studying software design, modelling, specification, and verification. It defines a formal semantics and a satisfies relation for design verification, and uses them to reason about the relations between patterns and programs (e.g., "java.awt implements Composite" and "Factory Method is an abstraction of Iterator"). |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |