Codecharts – Roadmaps and Blueprints for Object–Oriented Programs

Preface.
<p>Acknowledgements.</p>
<p>Guide to the Reader.</p>
<p>Codecharts.</p>
<p>Propositions.</p>
<p>Prologue.</p>
<p>1. Motivation.</p>
<p>2. Design Description Languages.</p>
<p>2.1 Theory Versus Practice.</p>
<p>2.2 Decidability.</p>
<p>2.3 Abstraction.</p>
<p>2.4 Elegance.</p>
<p>3. An Overview of Codecharts.</p>
<p>3.1 Object–Orientation.</p>
<p>3.2 Visualization.</p>
<p>3.3 Rigour.</p>
<p>3.4 Automated Verifiability.</p>
<p>3.5 Scalability.</p>
<p>3.6 Genericity.</p>
<p>3.7 Minimality.</p>
<p>3.8 Information Neglect.</p>
<p>4. UML Versus Codecharts.</p>
<p>5. Historical Notes.</p>
<p>PART I: Practice.</p>
<p>6. Modelling Small Programs.</p>
<p>6.1 Modelling Individual Classes.</p>
<p>6.2 Modelling Individual Methods.</p>
<p>6.3 Modelling Properties.</p>
<p>6.4 Modelling Implementation Minutia.</p>
<p>6.5 Modelling Simple Relations.</p>
<p>6.6 Modelling Indirect Relations.</p>
<p>6.7 Subtyping.</p>
<p>7. Modelling Large Programs.</p>
<p>7.1 Modelling Sets of Classes.</p>
<p>7.2 Modelling Total Relations Between Sets.</p>
<p>7.3 Modelling Sets of Methods (Clans).</p>
<p>7.4 Modelling Isomorphic Relations.</p>
<p>7.5 Modelling Sets of Methods (Tribes).</p>
<p>7.6 Modelling Class Hierarchies.</p>
<p>7.7 Modelling Methods in Hierarchies.</p>
<p>7.8 Modelling Properties of Sets.</p>
<p>7.9 Case Study: Total Versus. Isomorphic.</p>
<p>7.10 Case Study: JDOM.</p>
<p>7.11 Case Study: Java 3D.</p>
<p>8. Modelling Industry–Scale Programs.</p>
<p>8.1 Modelling Sets of Hierarchies.</p>
<p>8.2 Modelling Sets of Sets of Methods (Clans).</p>
<p>8.3 Modelling Sets of Sets of Methods (Tribes).</p>
<p>8.4 Modelling Total Relations Revisited.</p>
<p>8.5 Modelling Isomorphic Relations Revisited.</p>
<p>9. Modelling Design Motifs.</p>
<p>10. Modelling Application Frameworks.</p>
<p>10.1 Case Study: Enterprise JavaBeans.</p>
<p>10.2 Case Study: JUnit.</p>
<p>11. Modelling Design Patterns.</p>
<p>11.1 Case Study: The Composite Pattern.</p>
<p>11.2 Case Study: The Iterator Pattern.</p>
<p>11.3 Case Study: The Factory Method Pattern.</p>
<p>11.4 Case Study: The Abstract Factory Pattern.</p>
<p>11.5 Concluding Remarks.</p>
<p>12. Modelling Early Design Revisited.</p>
<p>13. Advanced Modelling Techniques.</p>
<p>13.1 Ad Hoc Symbols.</p>
<p>13.2 Modelling Information Hiding.</p>
<p>PART II: Theory.</p>
<p>14. Abstract Semantics.</p>
<p>14.1 Finite Structures.</p>
<p>14.2 Abstract Semantics Functions.</p>
<p>14.3 Design Models.</p>
<p>14.4 Program Modelling Revisited.</p>
<p>15. Verification.</p>
<p>15.1 Verifying Closed Specifications.</p>
<p>15.2 Verifying Open Specifications.</p>
<p>15.3 Verifying Pattern Implementations.</p>
<p>15.4 Tool Support for Automated Verification.</p>
<p>16. Schemas.</p>
<p>17. LePUS3 in Classical Logic.</p>
<p>17.1 LePUS3 and Class–Z as First–Order Languages.</p>
<p>17.2 Specifications in the Predicate Logic.</p>
<p>17.3 The Axioms of Class–Based Programs.</p>
<p>18. Reasoning about Charts.</p>
<p>Appendix I: The Gang of Four Companion.</p>
<p>Appendix II: Formal Definitions.</p>
<p>Appendix III: UML Quick Reference.</p>
<p>References.</p>
<p>Index.</p>