TABLES (with pagenumber)

  • TABLE 1 Contents of the chapters 19
  • TABLE 2 Tool approaches for software development archetypes    66
  • TABLE 3 Statistics from the file Java  grm for Java the 3rd edition   83
  • TABLE 4 Conversion table between Java and Symbolic 88
  • TABLE 5 The logic behind the symbolic model weaver  104
  • TABLE 6 Categories of atomic links    106
  • TABLE 7 The run method as a state transition table    123
  • TABLE 8 While command as a state table 144
  • TABLE 9 Atomistic semantics for Symbolic with Java compatibility    152
  • TABLE 10 Simulating Java in Symbolic  153
  • TABLE 11 Server-example (see Appendix 1) as a Turing-tape   160
  • TABLE 12 The information ladder based on the atomistic model 166
  • TABLE 13 Making conclusions based on proof results    185
  • TABLE 14 The size of JavaMaster source code: classes and source lines    198
  • TABLE 15 Grammar-oriented symbols of the model   224
  • TABLE 16 The main symbols of the atomistic model   225
  • TABLE 17 The simulator model 226
  • TABLE 18 Maintenance approach 227
  • TABLE 19 Foundation for KnowledgeWare  228
  • TABLE 20 Results from the KnowledgeWare knowledge presentation    229
  • TABLE 21 Proposed type system to cover reverse engineered elements 231
  • TABLE 22 Accuracy of transformations in the proposed PC environment   247
  • TABLE 23 Reference index to the JavaMaster structures of Chapters 4 to 7   281
  • TABLE 24 Examples from Visual Prolog types  282
  • TABLE 25 A Visual Prolog example interface    283
  • TABLE 26 A Visual Prolog example class  284
  • TABLE 27 A Visual Prolog code file   285
  • TABLE 28 Layout for presenting simulation results 287
  • TABLE 29 The input tape from simulation   288
Advertisements