NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY ANDPRECISELY
Popular software modelling notations visualize implementationminutiae but fail to scale, to capture design abstractions, and todeliver effective tool support. Tailored to overcome theselimitations, Codecharts can elegantly model roadmaps and blueprintsfor Java, C++, and C# programs of any size clearly, precisely, andat any level of abstraction. More practically, significantproductivity gains for programmers using tools supportingCodecharts have been demonstrated in controlled experiments.
Hundreds of figures and examples in this book illustrate howCodecharts are used to:
* Visualize the building-blocks of object-oriented design
* Create bird's-eye roadmaps of large programs with minimalsymbols and no clutter
* Model blueprints of patterns, frameworks, and other designdecisions
* Be exactly sure what diagrams claim about programs and reasonrigorously about them
Tools supporting Codecharts are also shown here to:
* Recover design from plain Java and visualize the program'sroadmap
* Verify conformance to design decision with a click of abutton
This classroom-tested book includes two main parts:
Practice (Part I) offers experienced programmers,software designers and software engineering students practicaltools for representing and communicating object-oriented design. Itdemonstrates how to model programs, patterns, libraries, andframeworks 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 forCodecharts to graduate students and researchers studying softwaredesign, modelling, specification, and verification. It defines aformal semantics and a satisfies relation for designverification, and uses them to reason about the relations betweenpatterns and programs (e.g., "java.awt implements Composite" and"Factory Method is an abstraction of Iterator").