Codecharts : Roadmaps and Blueprints for Object-oriented Programs

NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND PRECISELYPopular 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:Visualize the building-blocks of object-oriented designCreate bird's-eye roadmaps of large programs with minimal symbols and no clutterModel blueprints of patterns, frameworks, and other design decisionsBe exactly sure what diagrams claim about programs and reason rigorously about themTools supporting Codecharts are also shown here to:Recover design from plain Java and visualize the program's roadmapVerify conformance to design decision with a click of a buttonThis 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"). 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: Visualize the building-blocks of object-oriented design Create bird's-eye roadmaps of large programs with minimal symbols and no clutter Model blueprints of patterns, frameworks, and other design decisions Be exactly sure what diagrams claim about programs and reason rigorously about them Tools supporting Codecharts are also shown here to: Recover design from plain Java and visualize the program's roadmap Verify conformance to design decision with a click of a button 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'). 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 Tools supporting Codecharts are also shown here This classroom-tested book includes two main 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"). "LePUS3, the language of Codecharts, has proven to radically cuts the costs of key tasks in software development and significantly improves the quality of software produced. This classroom-tested resource teaches this visual language through extensive examples and case studies, offering more precise and elegant notation than any other text on the market. It provides accessible, illustration-driven content, with blueprints and roadmaps of programs appearing on almost every page. The book is written for software professionals, third- and fourth-year students of computer science, and graduate students and researchers in software engineering"-- "The book is about a visual language for creating blueprints and maps of programs: Codecharts. It is written for practitioners who wish to cut the costs of software development with Java, C++, C# and other dominant programming languages. To be most effective, Codecharts are presented in a visually attractive form that is accessible to professionals and students alike: One or more sample charts appear on every page of the book, modeling programs that every programmer is familiar with"-- "LePUS3, the language of Codecharts, has proven to radically cuts the costs of key tasks in software development and significantly improves the quality of software produced. This classroom-tested resource teaches this visual language through extensive examples and case studies, offering more precise and elegant notation than any other text on the market. It provides accessible, illustration-driven content, with blueprints and roadmaps of programs appearing on almost every page. The book is written for software professionals, third- and fourth-year students of computer science, and graduate students and researchers in software engineering"-- Résumé de l'éd "The book is about a visual language for creating blueprints and maps of programs: Codecharts. It is written for practitioners who wish to cut the costs of software development with Java, C++, C♯ and other dominant programming languages. To be most effective, Codecharts are presented in a visually attractive form that is accessible to professionals and students alike: One or more sample charts appear on every page of the book, modeling programs that every programmer is familiar with"-- Provided by publisher * Provides accessible, illustration-driven content, with blueprints and roadmaps of programs appearing on almost every page. * Includes hundreds of examples and case studies, along with excerpts from programs that every Java programmer is familiar with. Amnon H. Eden ; with contributions from Johnathan Nicholson. Includes bibliographical references and index.