Disclaimer. CSUSB and the CS Dept have no responsibility for the content of this page.

Copyright. Richard J. Botting ( Thu Aug 27 21:23:08 PDT 2009 ). Permission is granted to quote and use this document as long as the source is acknowledged.

• 10 :rjb99c.umlpl
• 10 :rjb99j.design
• 11 :rjb99c.umlpl
• 11 :rjb99j.design
• 12 :rjb99c.umlpl
• 12 :rjb99j.design
• 13 :rjb99c.umlpl
• 13 :rjb99j.design
• 14 :rjb99c.umlpl
• 14 :rjb99j.design
• 15 :rjb99c.umlpl
• 16 :rjb99c.umlpl
• 1980s :index
• 1984 :index
• 1990s :index
• 1993 :index
• 1994 :index
• 1995 :index
• 1996 :index
• 1997 An Empty but Active Classroom :rjb01a.13years
• 1998 :index
• 1999 :index
• 1 :rjb93a.xbnf
• 1 :rjb96b.mth2tex
• 1 :rjb99c.umlpl
• 1 :rjb99j.design
• 1 :ttt
• 1 INTRODUCTION :rjb84a.FRED
• 1. INTRODUCTION :rjb84b.Generalization
• 2000 :index
• 2002 :index
• 2003 :index
• 2004 :index
• 2005 :index
• 2006 :index
• 2007 :index
• 2008 :index
• 24 hours and 7 days a week :rjb01a.13years
• 24 hours and 7 days a week :rjb98a.tenyears
• 2 :rjb08.xbnf
• 2 :rjb95a.semantics
• 2 :rjb96b.mth2tex
• 2 :rjb96x.xbnf
• 2 :rjb99c.umlpl
• 2 :rjb99g.xbnf
• 2 :rjb99j.design
• 2 :ttt
• 2. LIMITED RESOURCES (PROBLEM 1) :rjb84a.FRED
• 2. TYPING ERRORS :rjb84b.Generalization
• 3 :rjb08.xbnf
• 3 :rjb96b.mth2tex
• 3 :rjb96x.xbnf
• 3 :rjb99c.umlpl
• 3 :rjb99g.xbnf
• 3 :rjb99j.design
• 3 :ttt
• 3. BAD FILE NAMES :rjb84b.Generalization
• 3. REDUCING NEED FOR TRAINING (PROBLEM 2) :rjb84a.FRED
• 4 :rjb08.xbnf
• 4 :rjb96b.mth2tex
• 4 :rjb96x.xbnf
• 4 :rjb99c.umlpl
• 4 :rjb99g.xbnf
• 4 :rjb99j.design
• 4. MODE MISTAKES :rjb84b.Generalization
• 4. REWARDING CORRECT INPUT (PROBLEM 3) :rjb84a.FRED
• 5. ADAPTING WITH THE USER (PROBLEM 4) :rjb84a.FRED
• 5 :rjb08.xbnf
• 5 :rjb96x.xbnf
• 5 :rjb99c.umlpl
• 5 :rjb99g.xbnf
• 5 :rjb99j.design
• 5. CONCLUSIONS :rjb84b.Generalization
• 6 :rjb99c.umlpl
• 6 :rjb99j.design
• 6. CONCLUSIONS :rjb84a.FRED
• 6 REFERENCES :rjb84b.Generalization
• 7 :rjb99c.umlpl
• 7 :rjb99j.design
• 7. REFERENCES :rjb84a.FRED
• 8 :rjb99c.umlpl
• 8 :rjb99j.design
• 9 :rjb99c.umlpl
• 9 :rjb99j.design
• A1 :rjb08.xbnf
• A1 :rjb96x.xbnf
• A1 :rjb99g.xbnf
• A :rjb93a.xbnf
• A :rjb95a.Relations.vs.Programs
• A :rjb9x.Relations.vs.Programs
• A & B :rjb08.xbnf
• A & B :rjb93a.xbnf
• A & B :rjb96x.xbnf
• A & B :rjb99g.xbnf
• A ~ B :rjb08.xbnf
• A | B :rjb08.xbnf
• A B :rjb08.xbnf
• A ~ B :rjb93a.xbnf
• A | B :rjb93a.xbnf
• A B :rjb93a.xbnf
• A ~ B :rjb96x.xbnf
• A | B :rjb96x.xbnf
• A B :rjb96x.xbnf
• A ~ B :rjb99g.xbnf
• A | B :rjb99g.xbnf
• A B :rjb99g.xbnf
• A Basic Home Page :html.workshop
• A Basic Home Page :rjb94c.html
• ABELIAN :rjb9Xb.discrete
• Abelian_semigroup :rjb9Xb.discrete
• Abercrombie69 :rjb00a.ActiveROOT
• abort :rjb95a.Relations.vs.Programs
• abort :rjb9x.Relations.vs.Programs
• Abreviation :rjb99j.design
• Abstract :rjb08.xbnf
• Abstract :rjb84a.FRED
• Abstract :rjb84b.Generalization
• Abstract :rjb93a.xbnf
• Abstract :rjb95b.one.size
• Abstract :rjb96b.mth2tex
• Abstract :rjb96x.xbnf
• Abstract :rjb99g.xbnf
• Abstract :rjb99i.understand
• Abstract :rjb9Xb.discrete
• Abstract :rjb9Xx.TEMPO
• Abstractions :rjb08.xbnf
• Abstractions :rjb99g.xbnf
• Abstract Syntax of While :rjb95a.semantics
• Abstract Syntax of While :rjb95x.semantics
• Abuses of Notation :rjb95a.Relations.vs.Programs
• Abuses of Notation :rjb9x.Relations.vs.Programs
• a buys :rjb93a.xbnf
• Action :rjb95a.semantics
• Action :rjb95x.semantics
• Active Learning :rjb01a.13years
• Active Learning :rjb98a.tenyears
• Activity Diagrams :20050502Body
• ADA :rjb9x.Relations.vs.Programs
• Ada_loop :rjb08.xbnf
• Ada_loop :rjb93a.xbnf
• Ada_loop :rjb96x.xbnf
• Ada_loop :rjb99g.xbnf
• ADA_PDL :rjb93a.xbnf
• add :rjb95a.Relations.vs.Programs
• add :rjb9x.Relations.vs.Programs
• Address :rjb08.xbnf
• Address :rjb96x.xbnf
• Address :rjb99g.xbnf
• Addresses :html.workshop
• Addresses :rjb94c.html
• A definition has a " :rjb93a.xbnf
• A definition has a " :rjb96x.xbnf
• Admin Implications :rjb01a.13years
• Admin Implications :rjb98a.tenyears
• ADTs as Sets of Operations :rjb95a.Relations.vs.Programs
• ADTs as Sets of Operations :rjb9x.Relations.vs.Programs
• A Few Changes in Detail :20050502Outline
• A Few Changes in the Unified Modeling Language :20050502Body
• A formal presentation :rjb95a.Relations.vs.Programs
• A formal presentation :rjb9x.Relations.vs.Programs
• :20050502Abstract
• :20050502Body
• :20050502Outline
• :index
• :rjb01a.13years
• :rjb08.xbnf
• :rjb0xa.lift
• :rjb84a.FRED
• :rjb84b.Generalization
• :rjb93a.xbnf
• :rjb94b.mosaic
• :rjb95a.Relations.vs.Programs
• :rjb95b.one.size
• :rjb96x.xbnf
• :rjb98a.tenyears
• :rjb99g.xbnf
• :rjb99i.understand
• :rjb9Xa.lift
• :rjb9Xb.discrete
• :rjb9x.Relations.vs.Programs
• :rjb9Xx.TEMPO
• Algebra :rjb08.xbnf
• Algebra :rjb99g.xbnf
• Algebras :rjb96b.mth2tex
• alternative :rjb93a.xbnf
• AmblerBurnett89 :rjb9Xx.TEMPO
• ancestor :rjb93a.xbnf
• ancestor :rjb95a.Relations.vs.Programs
• ancestor :rjb9x.Relations.vs.Programs
• and_commutes :rjb96b.mth2tex
• An Empty but Active Classroom :rjb98a.tenyears
• An example of a Bad old Collaboration Diagrams :20050502Outline
• An Example of a Change in Deployment Diagrams and Components :20050502Outline
• An Example of Formal Analysis: The Lift Problem :rjb0xa.lift
• An Example of Formal Analysis: The Lift Problem :rjb9Xa.lift
• Annex3 Appendix :rjb93a.xbnf
• Aoyamaetal89 :rjb9Xx.TEMPO
• Appendices :rjb95a.Relations.vs.Programs
• Appendices :rjb9x.Relations.vs.Programs
• Appendix :rjb08.xbnf
• Appendix :rjb96x.xbnf
• Appendix :rjb99g.xbnf
• Appendix :rjb99h.feedback
• Application Domains :rjb95b.one.size
• Applications :rjb08.xbnf
• Applications :rjb93a.xbnf
• Applications :rjb96x.xbnf
• Applications :rjb99g.xbnf
• A Prototype Solution :rjb9Xb.discrete
• Artifacts vs Components vs Packages :20050502Body
• ASCII :rjb01a.13years
• ASCII :rjb98a.tenyears
• assignment :rjb95a.semantics
• assignment :rjb95x.semantics
• Assignments :rjb95a.semantics
• Assignments :rjb95x.semantics
• assoc :rjb08.xbnf
• assoc :rjb93a.xbnf
• assoc :rjb96x.xbnf
• assoc :rjb99g.xbnf
• at :rjb0xa.lift
• at :rjb9Xa.lift
• A Theory of Design :rjb99j.design
• Author :rjb08.xbnf
• Author :rjb84a.FRED
• Author :rjb84b.Generalization
• Author :rjb95b.one.size
• Author :rjb96x.xbnf
• Author :rjb99g.xbnf
• Author :rjb9Xx.TEMPO
• Axiom 1 :rjb08.xbnf
• Axiom 1 :rjb93a.xbnf
• Axiom 1 :rjb96x.xbnf
• Axiom 1 :rjb99g.xbnf
• Axiom 2 :rjb08.xbnf
• Axiom 2 :rjb93a.xbnf
• Axiom 2 :rjb96x.xbnf
• Axiom 2 :rjb99g.xbnf
• Axiom 3 :rjb08.xbnf
• Axiom 3 :rjb93a.xbnf
• Axiom 3 :rjb96x.xbnf
• Axiom 3 :rjb99g.xbnf
• Axiom 4 :rjb08.xbnf
• Axiom 4 :rjb93a.xbnf
• Axiom 4 :rjb96x.xbnf
• Axiom 4 :rjb99g.xbnf
• Axioms :rjb0xa.lift
• Axioms :rjb9Xb.discrete
• B1 :rjb08.xbnf
• B1 :rjb96x.xbnf
• B1 :rjb99g.xbnf
• Bach 95 :rjb95b.one.size
• Bach 9? :rjb95b.one.size
• Background :rjb08.xbnf
• Background :rjb99g.xbnf
• Background :rjb9Xx.TEMPO
• Background_Button :rjb08.xbnf
• Background_Button :rjb99g.xbnf
• back_quote :rjb08.xbnf
• back_quote :rjb93a.xbnf
• back_quote :rjb96x.xbnf
• back_quote :rjb99g.xbnf
• backslash :rjb08.xbnf
• backslash :rjb93a.xbnf
• backslash :rjb96x.xbnf
• backslash :rjb99g.xbnf
• Back to Outline :20050502Body
• B :rjb08.xbnf
• B :rjb0xa.lift
• b :rjb93a.xbnf
• b :rjb95a.Relations.vs.Programs
• B :rjb96x.xbnf
• B :rjb99g.xbnf
• B :rjb9Xa.lift
• Banker & Kemerer 89 :rjb95b.one.size
• base :rjb08.xbnf
• base :rjb96x.xbnf
• base :rjb99g.xbnf
• Basic Operations :rjb95a.Relations.vs.Programs
• Basic Operations :rjb9x.Relations.vs.Programs
• Basis :rjb95a.Relations.vs.Programs
• Basis :rjb9x.Relations.vs.Programs
• BBS :rjb01a.13years
• BBS :rjb98a.tenyears
• Behavior Diagrams :20050502Outline
• Be Ready to Train Your Students :rjb01a.13years
• Be Ready to Train Your Students :rjb98a.tenyears
• Berztiss89 :rjb9Xx.TEMPO
• Bibliography :rjb95b.one.size
• Bibliography :rjb99e.maths
• Bibliography :rjb9Xx.TEMPO
• Binary Relations :rjb08.xbnf
• Binary Relations :rjb93a.xbnf
• Binary Relations :rjb96x.xbnf
• Binary Relations :rjb99g.xbnf
• Binary Relations :rjb9Xb.discrete
• Binary Relationships :rjb95a.Relations.vs.Programs
• Binary Relationships :rjb9x.Relations.vs.Programs
• Binary_Tree :rjb08.xbnf
• Binary_Tree :rjb96x.xbnf
• Binary_Tree :rjb99g.xbnf
• bindings :rjb08.xbnf
• bindings :rjb96x.xbnf
• bindings :rjb99g.xbnf
• Bindings and Schemata :rjb08.xbnf
• Bindings and Schemata :rjb96x.xbnf
• Bindings and Schemata :rjb99g.xbnf
• Bligh72 :rjb00a.ActiveROOT
• Bligh98 :rjb00a.ActiveROOT
• block :rjb08.xbnf
• block :rjb93a.xbnf
• block :rjb96x.xbnf
• block :rjb99g.xbnf
• Block Structure :rjb95a.Relations.vs.Programs
• Block Structure :rjb9x.Relations.vs.Programs
• Boddie 87 :rjb95b.one.size
• Body of Paper :rjb08.xbnf
• Body of Paper :rjb96x.xbnf
• Body of Paper :rjb99g.xbnf
• Boehm 80b :rjb95b.one.size
• Bond 95 :rjb95b.one.size
• Botting85 :rjb9Xx.TEMPO
• Botting87 :rjb9Xx.TEMPO
• Botting89 :rjb9Xx.TEMPO
• Botting98 :rjb00a.ActiveROOT
• Botting99 :rjb00a.ActiveROOT
• Brooks 95 :rjb95b.one.size
• browser :rjb01a.13years
• browser :rjb98a.tenyears
• b sells :rjb93a.xbnf
• Button :rjb08.xbnf
• button :rjb93a.xbnf
• Button :rjb99g.xbnf
• Button_life_history :rjb0xa.lift
• Button_life_history :rjb9Xa.lift
• Buttons :rjb0xa.lift
• Buttons :rjb9Xa.lift
• Buttons outside elevators have up and down on them. :rjb0xa.lift
• buys :rjb93a.xbnf
• B with P :rjb08.xbnf
• B with P :rjb96x.xbnf
• B with P :rjb99g.xbnf
• c :rjb08.xbnf
• c :rjb95a.Relations.vs.Programs
• c :rjb95b.one.size
• C :rjb95b.one.size
• c :rjb96x.xbnf
• c :rjb99g.xbnf
• Calculus of Relations :rjb95a.semantics
• Calculus of Relations :rjb95x.semantics
• Cameron89 :rjb9Xx.TEMPO
• Can One Size Fit All? :rjb95b.one.size
• Card :rjb08.xbnf
• Card :rjb99g.xbnf
• Card_Button :rjb08.xbnf
• Card_Button :rjb99g.xbnf
• Card DN 95 :rjb95b.one.size
• caret :rjb9x.Relations.vs.Programs
• cat :rjb93a.xbnf
• CETI :rjb01a.13years
• CETI :rjb98a.tenyears
• CETI and the Virtual University :rjb01a.13years
• CETI and the Virtual University :rjb98a.tenyears
• CGI :rjb01a.13years
• CGI :rjb98a.tenyears
• Chang89 :rjb9Xx.TEMPO
• Change :rjb95a.semantics
• Change :rjb95x.semantics
• Change of State :rjb95a.semantics
• Change of State :rjb95x.semantics
• Changes in the Unified Modeling Language :20050502Abstract
• Changes in the Unified Modeling Language :20050502Outline
• Chaos :rjb95b.one.size
• character_string :rjb08.xbnf
• character_string :rjb93a.xbnf
• character_string :rjb96x.xbnf
• character_string :rjb99g.xbnf
• child_of :rjb93a.xbnf
• child_of :rjb95a.Relations.vs.Programs
• child_of :rjb9x.Relations.vs.Programs
• c in e :rjb9Xb.discrete
• Citations :html.workshop
• Citations :rjb94c.html
• Class and Object Diagrams :20050502Body
• Classes & Entities :rjb08.xbnf
• Classes & Entities :rjb93a.xbnf
• Classes & Entities :rjb96x.xbnf
• Classes & Entities :rjb99g.xbnf
• Clean Room :rjb95a.Relations.vs.Programs
• Clean Room :rjb9x.Relations.vs.Programs
• client :rjb01a.13years
• client :rjb98a.tenyears
• cod :rjb08.xbnf
• cod :rjb96x.xbnf
• cod :rjb99g.xbnf
• ColemanHayesBear92 :rjb9Xx.TEMPO
• colon :rjb08.xbnf
• colon :rjb96b.mth2tex
• colon :rjb99g.xbnf
• comm2 :rjb96b.mth2tex
• comm2 :ttt
• comma :rjb08.xbnf
• comma :rjb99g.xbnf
• comm :rjb96b.mth2tex
• comm :ttt
• Command Mathematics :rjb95a.Relations.vs.Programs
• Command Mathematics :rjb9x.Relations.vs.Programs
• comment :rjb08.xbnf
• comment :rjb93a.xbnf
• comment :rjb96x.xbnf
• comment :rjb99g.xbnf
• Communication Diagrams :20050502Body
• Complement :rjb95a.semantics
• Complement :rjb95x.semantics
• complementary_form :rjb08.xbnf
• complementary_form :rjb93a.xbnf
• complementary_form :rjb96x.xbnf
• complementary_form :rjb99g.xbnf
• Complexity :rjb95b.one.size
• Complex Specification :20050502Outline
• Component Diagrams can now express DFDs :20050502Body
• Components :20050502Body
• Composite Structure Diagrams :20050502Body
• Composition :rjb95a.semantics
• Composition :rjb95x.semantics
• Concepcion98 :rjb00a.ActiveROOT
• ConcepcionBottingScroggins00 :rjb00a.ActiveROOT
• ConcepcionEtal99 :rjb00a.ActiveROOT
• ConcepcionLeachKnight00 :rjb00a.ActiveROOT
• Conclusion :rjb93a.xbnf
• Conclusion :rjb95a.Relations.vs.Programs
• Conclusion :rjb95a.semantics
• Conclusion :rjb95x.semantics
• Conclusion :rjb99i.understand
• Conclusion :rjb9x.Relations.vs.Programs
• Conclusions :rjb0xa.lift
• Conclusions :rjb95b.one.size
• Conclusions :rjb96b.mth2tex
• Conclusions :rjb9Xa.lift
• Conclusions :rjb9Xx.TEMPO
• Concordances :rjb99i.understand
• Conditions :rjb95a.Relations.vs.Programs
• Conditions :rjb95a.semantics
• Conditions :rjb95x.semantics
• Conditions :rjb9x.Relations.vs.Programs
• Conditions as Static Predicates :rjb95a.semantics
• Conditions as Static Predicates :rjb95x.semantics
• Configuration :rjb95a.semantics
• Configuration :rjb95x.semantics
• conflict_free :rjb99j.design
• consume_file_and_produce_output :rjb08.xbnf
• consume_file_and_produce_output :rjb93a.xbnf
• consume_file_and_produce_output :rjb96x.xbnf
• consume_file_and_produce_output :rjb99g.xbnf
• consume_section_and_produce_section_summary :rjb08.xbnf
• consume_section_and_produce_section_summary :rjb93a.xbnf
• consume_section_and_produce_section_summary :rjb96x.xbnf
• consume_section_and_produce_section_summary :rjb99g.xbnf
• consume_student :rjb08.xbnf
• consume_student :rjb93a.xbnf
• consume_student :rjb96x.xbnf
• consume_student :rjb99g.xbnf
• Contents :20050502Abstract
• Contents :20050502Body
• Contents :20050502Outline
• Contents :html.workshop
• Contents :index
• Contents :rjb01a.13years
• Contents :rjb08.xbnf
• Contents :rjb0xa.lift
• Contents :rjb84a.FRED
• Contents :rjb84b.Generalization
• Contents :rjb93a.xbnf
• Contents :rjb94b.mosaic
• Contents :rjb94c.html
• Contents :rjb95a.Relations.vs.Programs
• Contents :rjb95a.semantics
• Contents :rjb95b.figs
• Contents :rjb95b.one.size
• Contents :rjb95x.semantics
• Contents :rjb96b.mth2tex
• Contents :rjb96x.xbnf
• Contents :rjb98a.quiz
• Contents :rjb98a.tenyears
• Contents :rjb99b.sigplan
• Contents :rjb99d.y2kbau
• Contents :rjb99d.y2k
• Contents :rjb99e.maths
• Contents :rjb99f.open
• Contents :rjb99g.xbnf
• Contents :rjb99h.feedback
• Contents :rjb99i.understand
• Contents :rjb99j.design
• Contents :rjb9Xa.lift
• Contents :rjb9Xb.discrete
• Contents :rjb9Xb.discrete.mth96
• Contents :rjb9x.Relations.vs.Programs
• Contents :rjb9x.Timed.Relations
• Contents :rjb9Xx.TEMPO
• Contents :ttt
• Contracts and Users :rjb95b.one.size
• Controlling the Monster :20050502Outline
• CoProducts :rjb95a.semantics
• CoProducts :rjb95x.semantics
• Cost of Software Production :rjb95b.one.size
• Costs :rjb95b.one.size
• Costs of Software Development :rjb95b.one.size
• COUNTER :rjb95a.Relations.vs.Programs
• COUNTER :rjb9x.Relations.vs.Programs
• cousin :rjb93a.xbnf
• cousin :rjb95a.Relations.vs.Programs
• cousin :rjb9x.Relations.vs.Programs
• Critical path analysis, :20050502Body
• Cross-references and hyperlinks :rjb08.xbnf
• Cross-references and hyperlinks :rjb96x.xbnf
• Cross-references and hyperlinks :rjb99g.xbnf
• CS320 :rjb96b.mth2tex
• CS620 :rjb96b.mth2tex
• Cusumano & Selby 95 :rjb95b.one.size
• Cutts88 :rjb9Xx.TEMPO
• D :rjb0xa.lift
• D :rjb95b.one.size
• d :rjb99i.understand
• D :rjb9Xa.lift
• Dangerous Techniques :rjb99j.design
• DATA :rjb9x.Relations.vs.Programs
• Data Flow Diagrams :rjb9Xx.TEMPO
• daughter :rjb93a.xbnf
• daughter :rjb95a.Relations.vs.Programs
• daughter :rjb9x.Relations.vs.Programs
• Davis R et al 96 :rjb95b.one.size
• declaration :rjb96b.mth2tex
• Declared :rjb9Xb.discrete
• declarer :rjb96b.mth2tex
• defined_term :rjb08.xbnf
• defined_term :rjb93a.xbnf
• defined_term :rjb96x.xbnf
• defined_term :rjb99g.xbnf
• definer :rjb08.xbnf
• definer :rjb96b.mth2tex
• definer :rjb99g.xbnf
• definer :ttt
• definition :ttt
• Definition of A Non-sequential Process :rjb95a.Relations.vs.Programs
• Definition of A Non-sequential Process :rjb9x.Relations.vs.Programs
• Definition of a Structured Program :rjb95a.Relations.vs.Programs
• Definition of a Structured Program :rjb9x.Relations.vs.Programs
• Definition of Dynamic Predicates :rjb95a.Relations.vs.Programs
• Definition of Dynamic Predicates :rjb9x.Relations.vs.Programs
• Definitions :html.workshop
• Definitions :index
• Definitions :rjb94c.html
• Definitions and Declarations :rjb96b.mth2tex
• Demo :rjb94b.mosaic
• Demonstration1 :rjb01a.13years
• Demonstration1 :rjb98a.tenyears
• Demonstration2 :rjb01a.13years
• Demonstration2 :rjb98a.tenyears
• Department Technical Reports etc :rjb94b.mosaic
• Deployment :20050502Body
• Description :rjb0xa.lift
• Description :rjb9Xa.lift
• Description of TEMPO :rjb9Xx.TEMPO
• DESIGN :rjb99j.design
• Designating, describing and defining sets :rjb9Xa.lift
• deterministic :rjb95a.semantics
• DFDs :index
• Dictionaries in Abstract :rjb08.xbnf
• Dictionaries in Abstract :rjb93a.xbnf
• Dictionaries in Abstract :rjb96x.xbnf
• Dictionaries in Abstract :rjb99g.xbnf
• digit :rjb08.xbnf
• digit :rjb93a.xbnf
• digit :rjb96x.xbnf
• digit :rjb99g.xbnf
• DingMateti90 :rjb9Xx.TEMPO
• Directions :rjb0xa.lift
• Directions :rjb9Xa.lift
• Directory :index
• Discrete Mathematics in Software Engineering :rjb9Xb.discrete
• Discussion Topics :rjb01a.13years
• Discussion Topics :rjb98a.tenyears
• do :rjb93a.xbnf
• do :rjb95a.Relations.vs.Programs
• do :rjb9x.Relations.vs.Programs
• Documentation :rjb08.xbnf
• Documentation. :rjb93a.xbnf
• Documentation :rjb96x.xbnf
• Documentation :rjb99g.xbnf
• dollars :rjb95b.one.size
• dom :rjb08.xbnf
• dom :rjb96x.xbnf
• dom :rjb99g.xbnf
• Don't Forget to Have Fun :rjb01a.13years
• Don't Forget to Have Fun :rjb98a.tenyears
• Down :rjb0xa.lift
• Down :rjb9Xa.lift
• Drawing DFDs in the UML :index
• drop :rjb95a.Relations.vs.Programs
• drop :rjb9x.Relations.vs.Programs
• Dynamic Predicates :rjb95a.Relations.vs.Programs
• Dynamic Predicates :rjb95a.semantics
• Dynamic Predicates :rjb95x.semantics
• Dynamic Predicates :rjb9x.Relations.vs.Programs
• Dynamics :rjb0xa.lift
• Dynamics :rjb9Xa.lift
• e10 :rjb0xa.lift
• e10 :rjb9Xa.lift
• e11 :rjb0xa.lift
• e11 :rjb9Xa.lift
• e12 :rjb0xa.lift
• e12 :rjb9Xa.lift
• e13 :rjb0xa.lift
• e13 :rjb9Xa.lift
• e14 :rjb0xa.lift
• e14 :rjb9Xa.lift
• e15 :rjb0xa.lift
• e15 :rjb9Xa.lift
• e16 :rjb0xa.lift
• e16 :rjb9Xa.lift
• e17 :rjb0xa.lift
• e17 :rjb9Xa.lift
• e18 :rjb0xa.lift
• e18 :rjb9Xa.lift
• e19 :rjb0xa.lift
• e19 :rjb9Xa.lift
• e1 :rjb0xa.lift
• e1 :rjb9Xa.lift
• e20 :rjb0xa.lift
• e20 :rjb9Xa.lift
• e21 :rjb0xa.lift
• e21 :rjb9Xa.lift
• e22 :rjb0xa.lift
• e22 :rjb9Xa.lift
• e23 :rjb0xa.lift
• e23 :rjb9Xa.lift
• e25 :rjb0xa.lift
• e25 :rjb9Xa.lift
• e26 :rjb0xa.lift
• e26 :rjb9Xa.lift
• e27 :rjb0xa.lift
• e27 :rjb9Xa.lift
• e28 :rjb0xa.lift
• e28 :rjb9Xa.lift
• e29 :rjb0xa.lift
• e29 :rjb9Xa.lift
• e2a :rjb0xa.lift
• e2a :rjb9Xa.lift
• e2 :rjb0xa.lift
• e2 :rjb9Xa.lift
• e2b :rjb0xa.lift
• e2b :rjb9Xa.lift
• e2c :rjb0xa.lift
• e2c :rjb9Xa.lift
• e30 :rjb0xa.lift
• e30 :rjb9Xa.lift
• e31 :rjb0xa.lift
• e31 :rjb9Xa.lift
• e32 :rjb0xa.lift
• e32 :rjb9Xa.lift
• e33 :rjb0xa.lift
• e33 :rjb9Xa.lift
• e34 :rjb0xa.lift
• e34 :rjb9Xa.lift
• e35 :rjb0xa.lift
• e35 :rjb9Xa.lift
• e36 :rjb0xa.lift
• e36 :rjb9Xa.lift
• e37 :rjb0xa.lift
• e37 :rjb9Xa.lift
• e38 :rjb0xa.lift
• e38 :rjb9Xa.lift
• e39 :rjb0xa.lift
• e39 :rjb9Xa.lift
• e3 :rjb0xa.lift
• e3 :rjb9Xa.lift
• e40 :rjb0xa.lift
• e40 :rjb9Xa.lift
• e4 :rjb0xa.lift
• e4 :rjb9Xa.lift
• e5 :rjb0xa.lift
• e5 :rjb9Xa.lift
• e6 :rjb0xa.lift
• e6 :rjb9Xa.lift
• e7 :rjb0xa.lift
• e7 :rjb9Xa.lift
• e8 :rjb0xa.lift
• e8 :rjb9Xa.lift
• e9 :rjb0xa.lift
• e9 :rjb9Xa.lift
• E :rjb0xa.lift
• E :rjb93a.xbnf
• E :rjb9Xa.lift
• Economic Pressures :rjb95b.one.size
• Effect of Functions :rjb08.xbnf
• Effect of Functions :rjb93a.xbnf
• Effect of Functions :rjb96x.xbnf
• Effect of Functions :rjb99g.xbnf
• Effect of Intersections :rjb08.xbnf
• Effect of Intersections :rjb93a.xbnf
• Effect of Intersections :rjb96x.xbnf
• Effect of Intersections :rjb99g.xbnf
• Effect of T on P :rjb99j.design
• Effect on Student Learning :rjb99h.feedback
• Electives :rjb9Xb.discrete
• Electronic Mail :rjb01a.13years
• Electronic Mail :rjb98a.tenyears
• element :rjb08.xbnf
• element :rjb93a.xbnf
• element :rjb96x.xbnf
• element :rjb99g.xbnf
• Elevators :rjb0xa.lift
• Elevators :rjb9Xa.lift
• EMail :rjb01a.13years
• EMail :rjb98a.tenyears
• embody :rjb08.xbnf
• embody :rjb93a.xbnf
• embody :rjb96x.xbnf
• embody :rjb99g.xbnf
• End of Year Report on FEEDBACK99 :rjb99h.feedback
• Enigma :rjb93a.xbnf
• Enigma :rjb95a.Relations.vs.Programs
• Enigma :rjb9x.Relations.vs.Programs
• Enrolled :rjb9Xb.discrete
• Entity Relationship Diagrams :rjb9Xx.TEMPO
• equals :rjb08.xbnf
• equals :rjb99g.xbnf
• equals_sign :rjb96b.mth2tex
• equilibria :rjb99j.design
• Equilibrium Solutions :rjb99j.design
• euclid_plus :rjb93a.xbnf
• events :rjb0xa.lift
• events :rjb9Xa.lift
• Events in the Life of an Elevator :rjb0xa.lift
• Events in the Life of an Elevator :rjb9Xa.lift
• evolution :rjb95b.one.size
• ex1 :ttt
• ex2 :ttt
• Example 1 :rjb95a.Relations.vs.Programs
• Example 1 :rjb9x.Relations.vs.Programs
• Example 2 :rjb95a.Relations.vs.Programs
• Example 2 :rjb9x.Relations.vs.Programs
• Example 3 :rjb95a.Relations.vs.Programs
• Example 3 :rjb9x.Relations.vs.Programs
• Example 4 :rjb95a.Relations.vs.Programs
• Example 4 :rjb9x.Relations.vs.Programs
• Example :rjb08.xbnf
• Example :rjb96x.xbnf
• Example :rjb99g.xbnf
• Example - A University :rjb95a.Relations.vs.Programs
• Example - A University :rjb9Xb.discrete
• Example - A University :rjb9x.Relations.vs.Programs
• Example of a Program :rjb95a.semantics
• Example of a Program :rjb95x.semantics
• Example of a State Space :rjb95a.semantics
• Example of a State Space :rjb95x.semantics
• Example ?? of context dependent XBNF :rjb08.xbnf
• Example ?? of context dependent XBNF :rjb96x.xbnf
• Example ?? of context dependent XBNF :rjb99g.xbnf
• Example of Semantics of Aexp :rjb95a.semantics
• Example of Semantics of Aexp :rjb95x.semantics
• Example of Semantics of a Program :rjb95a.semantics
• Example of Semantics of a Program :rjb95x.semantics
• Example of Semantics of Bexp :rjb95a.semantics
• Example of Semantics of Bexp :rjb95x.semantics
• Example of Semantics of Var :rjb95a.semantics
• Example of Semantics of Var :rjb95x.semantics
• Example Program/Relation :rjb95a.Relations.vs.Programs
• Example Program/Relation :rjb9x.Relations.vs.Programs
• Example Simplification1 :rjb95a.Relations.vs.Programs
• Example Simplification1 :rjb9x.Relations.vs.Programs
• Example Simplification 2 :rjb95a.Relations.vs.Programs
• Example Simplification 2 :rjb9x.Relations.vs.Programs
• Example Structures Set :rjb95a.Relations.vs.Programs
• Example Structures Set :rjb9x.Relations.vs.Programs
• Exercise on Structural Operational Semantics :rjb95a.semantics
• Exercise on Structural Operational Semantics :rjb95x.semantics
• Exercises on Semantics of Aexp :rjb95a.semantics
• Exercises on Semantics of Aexp :rjb95x.semantics
• Exercises on Semantics of Bexp :rjb95a.semantics
• Exercises on Semantics of Bexp :rjb95x.semantics
• Exercises on the Relational Semantics of Aexp :rjb95a.semantics
• Exercises on the Relational Semantics of Aexp :rjb95x.semantics
• Exercises on the Semantics of Num :rjb95a.semantics
• Exercises on the Semantics of Num :rjb95x.semantics
• Experiment :rjb96b.mth2tex
• Expressing Facts Mathematically :rjb0xa.lift
• Expressions :rjb95a.semantics
• Expressions :rjb95x.semantics
• Expressions :rjb96b.mth2tex
• factors :rjb93a.xbnf
• Facts :rjb0xa.lift
• F :rjb0xa.lift
• f :rjb95b.one.size
• F :rjb95x.semantics
• f :rjb99j.design
• F :rjb99j.design
• F :rjb9Xa.lift
• families :rjb95a.Relations.vs.Programs
• families :rjb9x.Relations.vs.Programs
• Farrell 95 :rjb95b.one.size
• father :rjb93a.xbnf
• father :rjb95a.Relations.vs.Programs
• father :rjb9x.Relations.vs.Programs
• Figures :rjb9Xx.TEMPO
• Figures for One Size Fits all :rjb95b.figs
• Files :rjb08.xbnf
• Files :rjb93a.xbnf
• Files :rjb96x.xbnf
• Files :rjb99g.xbnf
• first_cousin :rjb93a.xbnf
• first_cousin :rjb95a.Relations.vs.Programs
• first_cousin :rjb9x.Relations.vs.Programs
• first_cousin_once_removed :rjb93a.xbnf
• first_cousin_once_removed :rjb95a.Relations.vs.Programs
• first_cousin_once_removed :rjb9x.Relations.vs.Programs
• First to Market then Loses :rjb95b.one.size
• First to Market Wins :rjb95b.one.size
• Floors :rjb0xa.lift
• Floors :rjb9Xa.lift
• Fonts & Styles :html.workshop
• Fonts & Styles :rjb94c.html
• Footnote1 :rjb95a.Relations.vs.Programs
• Footnote1 :rjb9x.Relations.vs.Programs
• Footnote {2} :rjb08.xbnf
• Footnote {2} :rjb93a.xbnf
• Footnote2 :rjb95a.Relations.vs.Programs
• Footnote {2} :rjb96x.xbnf
• Footnote {2} :rjb99g.xbnf
• Footnote2 :rjb9x.Relations.vs.Programs
• Footnote3 :rjb95a.Relations.vs.Programs
• Footnote3 :rjb9x.Relations.vs.Programs
• footnote :rjb99b.sigplan
• FOOTNOTES :rjb95a.Relations.vs.Programs
• Footnotes :rjb95a.semantics
• Footnotes :rjb95x.semantics
• FOOTNOTES :rjb9x.Relations.vs.Programs
• Formal Analysis :rjb9Xa.lift
• Formulae :rjb96b.mth2tex
• Formulae :rjb99i.understand
• For R :rjb95a.Relations.vs.Programs
• For R :rjb9x.Relations.vs.Programs
• FP :rjb9x.Relations.vs.Programs
• FRED - A FRIENDLY EDITOR :rjb84a.FRED
• free_file :rjb08.xbnf
• free_file :rjb93a.xbnf
• free_file :rjb96x.xbnf
• free_file :rjb99g.xbnf
• FTP :rjb94b.mosaic
• function :rjb08.xbnf
• function :rjb93a.xbnf
• function :rjb96x.xbnf
• function :rjb99g.xbnf
• Functional Dependencies And Keys. :rjb95a.Relations.vs.Programs
• Functional Dependencies And Keys. :rjb9x.Relations.vs.Programs
• function_definition :rjb08.xbnf
• function_definition :rjb96x.xbnf
• function_definition :rjb99g.xbnf
• Functions :rjb08.xbnf
• Functions :rjb93a.xbnf
• Functions :rjb96x.xbnf
• Functions :rjb99g.xbnf
• Functions and mappings :rjb9Xa.lift
• Functions in XBNF :rjb08.xbnf
• Functions in XBNF :rjb96x.xbnf
• Functions in XBNF :rjb99g.xbnf
• Future Research :rjb95b.one.size
• Future work :rjb96b.mth2tex
• G :rjb0xa.lift
• G :rjb9Xa.lift
• G :ttt
• Gancarz 95 :rjb96b.mth2tex
• gcd :rjb93a.xbnf
• GCD :rjb93a.xbnf
• General Form :rjb95a.semantics
• General Form :rjb95x.semantics
• GENERALIZATION - AN ALTERNATIVE TO ERROR MESSAGES :rjb84b.Generalization
• generator :rjb95a.semantics
• generator :rjb95x.semantics
• gives :rjb93a.xbnf
• Glass & Vessey 95 :rjb95b.one.size
• Glossary :rjb01a.13years
• glossary :rjb08.xbnf
• glossary :rjb93a.xbnf
• glossary :rjb96x.xbnf
• Glossary :rjb98a.tenyears
• glossary :rjb99g.xbnf
• Glossary :rjb9x.Relations.vs.Programs
• glossary_definition :rjb08.xbnf
• glossary_definition :rjb93a.xbnf
• glossary_definition :rjb96x.xbnf
• glossary_definition :rjb99g.xbnf
• Graf89 :rjb9Xx.TEMPO
• grammar_of_While :rjb95a.semantics
• grammar_of_While :rjb95x.semantics
• Grammars & Dictionaries :rjb08.xbnf
• Grammars & Dictionaries :rjb93a.xbnf
• Grammars & Dictionaries :rjb96x.xbnf
• Grammars & Dictionaries :rjb99g.xbnf
• granddaughter :rjb93a.xbnf
• granddaughter :rjb95a.Relations.vs.Programs
• granddaughter :rjb9x.Relations.vs.Programs
• grandfather :rjb93a.xbnf
• grandfather :rjb95a.Relations.vs.Programs
• grandfather :rjb9x.Relations.vs.Programs
• grandson :rjb93a.xbnf
• grandson :rjb95a.Relations.vs.Programs
• grandson :rjb9x.Relations.vs.Programs
• Graph :rjb08.xbnf
• Graph :rjb96x.xbnf
• Graph :rjb99g.xbnf
• Group :rjb08.xbnf
• GROUP :rjb08.xbnf
• GROUP :rjb93a.xbnf
• Group :rjb96b.mth2tex
• Group :rjb96x.xbnf
• GROUP :rjb96x.xbnf
• Group :rjb99g.xbnf
• GROUP :rjb99g.xbnf
• Group :rjb9Xb.discrete
• GROUP :rjb9Xb.discrete
• G@S :rjb99j.design
• h1 :rjb0xa.lift
• h1 :rjb9Xa.lift
• h2 :rjb0xa.lift
• h2 :rjb9Xa.lift
• h3 :rjb0xa.lift
• h3 :rjb9Xa.lift
• H :rjb0xa.lift
• H :rjb9Xa.lift
• Harel86 :rjb9Xx.TEMPO
• Harel 88 :rjb9Xx.TEMPO
• Hareletal90 :rjb9Xx.TEMPO
• HarelKahanna92 :rjb9Xx.TEMPO
• head :rjb93a.xbnf
• Headers :html.workshop
• Headers :rjb94c.html
• Heights :rjb0xa.lift
• Heights :rjb9Xa.lift
• Herbertetal90 :rjb9Xx.TEMPO
• Here the " :rjb08.xbnf
• Here the " :rjb93a.xbnf
• Here the " :rjb96x.xbnf
• Here the " :rjb99g.xbnf
• Higher Order Vocabulary :rjb99i.understand
• History :rjb08.xbnf
• History :rjb84a.FRED
• History :rjb84b.Generalization
• History :rjb95b.one.size
• History :rjb96b.mth2tex
• History :rjb96x.xbnf
• History :rjb99g.xbnf
• Hoare85 :rjb9Xx.TEMPO
• horse :rjb93a.xbnf
• How Can the First Mover Lose? :rjb95b.one.size
• How Far Can EBNF Stretch? :rjb08.xbnf
• How Far Can EBNF Stretch? :rjb93a.xbnf
• How Far Can EBNF Stretch? :rjb96x.xbnf
• How Far Can EBNF Stretch? :rjb99g.xbnf
• HTML :rjb01a.13years
• HTML :rjb98a.tenyears
• HTML Basic :html.workshop
• HTML Basic :rjb94c.html
• HTTP :rjb01a.13years
• HTTP :rjb98a.tenyears
• Hypercard :rjb08.xbnf
• Hypercard :rjb99g.xbnf
• I :rjb08.xbnf
• I :rjb95a.Relations.vs.Programs
• I :rjb96x.xbnf
• I :rjb99g.xbnf
• I :rjb9x.Relations.vs.Programs
• id_character :rjb08.xbnf
• id_character :rjb93a.xbnf
• id_character :rjb96x.xbnf
• id_character :rjb99g.xbnf
• identifier :rjb08.xbnf
• identifier :rjb93a.xbnf
• identifier :rjb96x.xbnf
• identifier :rjb99g.xbnf
• Identifiers :rjb08.xbnf
• Identifiers :rjb96x.xbnf
• Identifiers :rjb99g.xbnf
• Identity :rjb95a.semantics
• Identity :rjb95x.semantics
• id_set :rjb08.xbnf
• id_set :rjb96x.xbnf
• id_set :rjb99g.xbnf
• Images :html.workshop
• Images :rjb94c.html
• IMHO :rjb01a.13years
• IMHO :rjb98a.tenyears
• in :rjb9Xb.discrete
• Intension :rjb95a.semantics
• Intension :rjb95x.semantics
• Interaction Overview Diagram :20050502Body
• internet :rjb01a.13years
• Internet :rjb01a.13years
• internet :rjb98a.tenyears
• Internet :rjb98a.tenyears
• intersection :rjb08.xbnf
• intersection :rjb93a.xbnf
• Intersection :rjb95a.semantics
• Intersection :rjb95x.semantics
• intersection :rjb96x.xbnf
• intersection :rjb99g.xbnf
• Introduction :rjb01a.13years
• Introduction :rjb0xa.lift
• Introduction :rjb95a.Relations.vs.Programs
• Introduction :rjb95a.semantics
• Introduction :rjb95b.one.size
• Introduction :rjb95x.semantics
• Introduction :rjb96b.mth2tex
• Introduction :rjb98a.tenyears
• Introduction :rjb99i.understand
• Introduction :rjb9Xa.lift
• Introduction :rjb9Xb.discrete
• Introduction :rjb9x.Relations.vs.Programs
• Introduction :rjb9x.Timed.Relations
• Introduction :rjb9Xx.TEMPO
• inverse :rjb08.xbnf
• inverse :rjb93a.xbnf
• inverse :rjb96b.mth2tex
• inverse :rjb96x.xbnf
• inverse :rjb99g.xbnf
• inverse :rjb9Xb.discrete
• Is anything missing? :20050502Body
• is_moving :rjb0xa.lift
• is_moving :rjb9Xa.lift
• item :rjb08.xbnf
• item :rjb93a.xbnf
• item :rjb96x.xbnf
• item :rjb99g.xbnf
• iteration :rjb95a.semantics
• iteration :rjb95x.semantics
• Iterations :rjb95a.Relations.vs.Programs
• Iterations :rjb9x.Relations.vs.Programs
• Iterative Improvement or Evolution :rjb99j.design
• Jackson76 :rjb9Xx.TEMPO
• Jackson78 :rjb9Xx.TEMPO
• Jackson80 :rjb9Xx.TEMPO
• JIT :rjb01a.13years
• JIT :rjb98a.tenyears
• K1 :rjb08.xbnf
• K1 :rjb99g.xbnf
• K2 :rjb08.xbnf
• K2 :rjb96x.xbnf
• K2 :rjb99g.xbnf
• Keep It Simple :rjb01a.13years
• Keep It Simple :rjb98a.tenyears
• Keller87 :rjb9x.Relations.vs.Programs
• Keuffel 95c :rjb95b.one.size
• Kinship Example 1 :rjb95a.Relations.vs.Programs
• Kinship Example 1 :rjb9x.Relations.vs.Programs
• Kinship Example 2 :rjb95a.Relations.vs.Programs
• Kinship Example 2 :rjb9x.Relations.vs.Programs
• KISS :rjb01a.13years
• KISS :rjb98a.tenyears
• kleene :rjb95a.semantics
• kleene :rjb95x.semantics
• L0 :rjb0xa.lift
• L0 :rjb9Xa.lift
• L1 :rjb08.xbnf
• L1 :rjb96x.xbnf
• L1 :rjb99g.xbnf
• label :rjb9Xb.discrete
• label :ttt
• Labeled Tuples :rjb95a.Relations.vs.Programs
• Labeled Tuples :rjb9x.Relations.vs.Programs
• Labels :rjb0xa.lift
• Labels and Definitions in Alphabetical Order :rjb94c.html
• Labels and Definitions in Alphabetical Order :rjb9Xb.discrete.mth96
• Labels on buttons :rjb0xa.lift
• l :rjb0xa.lift
• L :rjb0xa.lift
• L :rjb99j.design
• L :rjb9Xa.lift
• L :rjb9Xb.discrete
• Lamport86a :rjb9Xx.TEMPO
• Lamport86b :rjb9Xx.TEMPO
• Language Reference Manuals (LRMs) :rjb99c.umlpl
• Lano77 :rjb9Xx.TEMPO
• Last and Best :rjb99i.understand
• Layout for Home Page :html.workshop
• Layout for Home Page :rjb94c.html
• Lecture :rjb01a.13years
• Lecture :rjb98a.tenyears
• Lehman 78 :rjb95b.one.size
• Lehman 95 :rjb95b.one.size
• Lessons Learned so far from TEMPO :rjb9Xx.TEMPO
• Levels of Documentation :rjb08.xbnf
• Levels of Documentation :rjb93a.xbnf
• Levels of Documentation :rjb96x.xbnf
• Levels of Documentation :rjb99g.xbnf
• Leverage and Reuse :rjb08.xbnf
• Leverage and Reuse :rjb96x.xbnf
• Leverage and Reuse :rjb99g.xbnf
• lever :rjb08.xbnf
• lever :rjb96x.xbnf
• lever :rjb99g.xbnf
• Leveson 94 :rjb95b.one.size
• Life Histories :rjb93a.xbnf
• limit :rjb95a.semantics
• limit :rjb95x.semantics
• Limitations :rjb95a.Relations.vs.Programs
• Limitations :rjb9x.Relations.vs.Programs
• LIN2 :rjb95a.Relations.vs.Programs
• LIN2 :rjb9x.Relations.vs.Programs
• lineal_descendant :rjb93a.xbnf
• lineal_descendant :rjb95a.Relations.vs.Programs
• lineal_descendant :rjb9x.Relations.vs.Programs
• linear :rjb99j.design
• Links :rjb0xa.lift
• Links :rjb9Xa.lift
• Links and References :rjb9x.Relations.vs.Programs
• List :rjb93a.xbnf
• Lists :html.workshop
• Lists :rjb94c.html
• Lists, strings and n-tupls :rjb08.xbnf
• Lists, strings and n-tupls :rjb93a.xbnf
• Lists, strings and n-tupls :rjb96x.xbnf
• Lists, strings and n-tupls :rjb99g.xbnf
• LiuHorowitz89 :rjb9Xx.TEMPO
• Ln :rjb0xa.lift
• Ln :rjb9Xa.lift
• logic :rjb96b.mth2tex
• Logic :rjb9Xx.TEMPO
• Long definition :rjb95a.Relations.vs.Programs
• Long definition :rjb9x.Relations.vs.Programs
• Long definitions :rjb96b.mth2tex
• loop :rjb08.xbnf
• loop :rjb93a.xbnf
• LOOP :rjb93a.xbnf
• loop :rjb95a.semantics
• loop :rjb95x.semantics
• loop :rjb96x.xbnf
• loop :rjb99g.xbnf
• loop_with_label :rjb08.xbnf
• loop_with_label :rjb93a.xbnf
• loop_with_label :rjb96x.xbnf
• loop_with_label :rjb99g.xbnf
• Loopy :rjb95a.Relations.vs.Programs
• Loopy :rjb9x.Relations.vs.Programs
• LoopyTime :rjb95a.Relations.vs.Programs
• LoopyTime :rjb9x.Relations.vs.Programs
• LOSET :rjb0xa.lift
• LOSET :rjb9Xa.lift
• Low-cost Improvement :rjb96b.mth2tex
• Lynx :rjb94b.mosaic
• Maas :rjb00a.ActiveROOT
• magnetic_tape :rjb08.xbnf
• magnetic_tape :rjb93a.xbnf
• magnetic_tape :rjb96x.xbnf
• magnetic_tape :rjb99g.xbnf
• Maguire 94 :rjb95b.one.size
• m :rjb08.xbnf
• m :rjb0xa.lift
• m :rjb93a.xbnf
• m :rjb96x.xbnf
• m :rjb99g.xbnf
• m :rjb9Xa.lift
• M :rjb9Xb.discrete
• mailing_list :rjb01a.13years
• mailing_list :rjb98a.tenyears
• Main Text :rjb95a.semantics
• Main Text :rjb95x.semantics
• Making an Onramp :html.workshop
• Making an Onramp :rjb94c.html
• Making Formal Documentation Simpler :rjb96b.mth2tex
• Maps :rjb9Xb.discrete
• Maps and Functions :rjb9Xb.discrete
• MartinMcClure85 :rjb9Xx.TEMPO
• Mathematics to the Rescue :rjb9Xb.discrete
• Maths :rjb96b.mth2tex
• MATHS :rjb99e.maths
• MATHS :rjb9Xb.discrete
• MATHS Notation :rjb9Xb.discrete
• McConnell 93 :rjb95b.one.size
• McConnell 96b :rjb95b.one.size
• MDA - Tomorrow the World :20050502Body
• Member :rjb9Xb.discrete
• Method :rjb95a.semantics
• Method :rjb95x.semantics
• MicroSoft's Process :rjb95b.one.size
• Milietal89 :rjb9Xx.TEMPO
• Milner80 :rjb9Xx.TEMPO
• Model Driven Architecture :20050502Body
• modeling a CSci curriculum. :20050502Body
• moderate :rjb01a.13years
• moderate :rjb98a.tenyears
• Modular and Reusable. :rjb96b.mth2tex
• Moen90 :rjb9Xx.TEMPO
• MOF :20050502Body
• monoid :rjb08.xbnf
• Monoid :rjb08.xbnf
• MONOID :rjb08.xbnf
• monoid :rjb93a.xbnf
• MONOID :rjb93a.xbnf
• Monoid :rjb96b.mth2tex
• monoid :rjb96x.xbnf
• Monoid :rjb96x.xbnf
• MONOID :rjb96x.xbnf
• monoid :rjb99g.xbnf
• Monoid :rjb99g.xbnf
• MONOID :rjb99g.xbnf
• Monoid :rjb9Xb.discrete
• MONOID :rjb9Xb.discrete
• Monotonicity. :rjb99j.design
• More Sets :rjb9Xa.lift
• Mosaic :rjb94b.mosaic
• Mosaic = ftp + www :rjb94b.mosaic
• Most Software should be Open Source :rjb99f.open
• mother :rjb93a.xbnf
• mother :rjb95a.Relations.vs.Programs
• mother :rjb9x.Relations.vs.Programs
• Motivation :rjb96b.mth2tex
• Motto :rjb95a.semantics
• Motto :rjb95x.semantics
• mth2html :rjb0xa.lift
• mth2html :rjb9Xa.lift
• multiples :rjb93a.xbnf
• My Tool Kit :rjb01a.13years
• My Tool Kit :rjb98a.tenyears
• N :rjb08.xbnf
• n :rjb0xa.lift
• N :rjb95a.Relations.vs.Programs
• n :rjb95b.one.size
• N :rjb95x.semantics
• N :rjb96x.xbnf
• N :rjb99g.xbnf
• n :rjb9Xa.lift
• NAME :rjb08.xbnf
• NAME :rjb93a.xbnf
• NAME :rjb96x.xbnf
• NAME :rjb99g.xbnf
• named_ASCII_char :rjb08.xbnf
• named_ASCII_char :rjb99g.xbnf
• name_of_unprintable_character :rjb93a.xbnf
• name_of_unprintable_character :rjb96x.xbnf
• Names :rjb93a.xbnf
• Names :rjb95a.Relations.vs.Programs
• Names :rjb9x.Relations.vs.Programs
• natural_identifier :rjb08.xbnf
• natural_identifier :rjb93a.xbnf
• natural_identifier :rjb96x.xbnf
• natural_identifier :rjb99g.xbnf
• Natural_numbers :rjb08.xbnf
• Natural_numbers :rjb93a.xbnf
• Natural_numbers :rjb96x.xbnf
• Natural_numbers :rjb99g.xbnf
• near :rjb99j.design
• netiquette :rjb01a.13years
• netiquette :rjb98a.tenyears
• NEWTON :rjb95a.Relations.vs.Programs
• NEWTON :rjb9x.Relations.vs.Programs
• next_above :rjb0xa.lift
• next_above :rjb9Xa.lift
• Next :rjb95a.semantics
• next_below :rjb0xa.lift
• next_below :rjb9Xa.lift
• niece :rjb93a.xbnf
• niece :rjb95a.Relations.vs.Programs
• niece :rjb9x.Relations.vs.Programs
• n..m :rjb93a.xbnf
• no :rjb93a.xbnf
• no :rjb95a.Relations.vs.Programs
• no :rjb9x.Relations.vs.Programs
• non :rjb08.xbnf
• non :rjb93a.xbnf
• non :rjb96x.xbnf
• non :rjb99g.xbnf
• non_empty_stack :rjb93a.xbnf
• non_sequential_processes :rjb95a.Relations.vs.Programs
• non_sequential_processes :rjb9x.Relations.vs.Programs
• Normal Form :rjb95a.Relations.vs.Programs
• Normal Form :rjb9x.Relations.vs.Programs
• Not a Method. :rjb96b.mth2tex
• Not A Programming Language. :rjb96b.mth2tex
• Notation :rjb0xa.lift
• Notation for Diagrams :20050502Body
• Note: Abbreviations :rjb0xa.lift
• Note Added February 1997 :rjb9x.Relations.vs.Programs
• Note Added July 1997 :rjb9x.Relations.vs.Programs
• Note Added September 1995 :rjb95a.Relations.vs.Programs
• Note Added September 1995 :rjb9x.Relations.vs.Programs
• Note :rjb08.xbnf
• Note :rjb93a.xbnf
• Note :rjb96x.xbnf
• Note :rjb99g.xbnf
• Note: Declarations and Definitions :rjb0xa.lift
• Note: inverse functions :rjb0xa.lift
• Note: Many to one functions :rjb0xa.lift
• Note: Maps :rjb0xa.lift
• Note: (n)-(m) Relations :rjb0xa.lift
• Note: Notation :rjb9Xa.lift
• Note: Notation for reasoning :rjb0xa.lift
• Note on Precedence (Optional) :rjb93a.xbnf
• Note: optative mode :rjb0xa.lift
• Note: Overloading :rjb0xa.lift
• Note: Partitions :rjb0xa.lift
• Note: Subsets :rjb0xa.lift
• Note: Verbalizations :rjb0xa.lift
• Null relation :rjb95a.semantics
• Null relation :rjb95x.semantics
• number :rjb08.xbnf
• number :rjb93a.xbnf
• number :rjb95a.semantics
• number :rjb95b.one.size
• number :rjb95x.semantics
• number :rjb96x.xbnf
• number :rjb99g.xbnf
• Numbers :rjb93a.xbnf
• Numbers :rjb95a.Relations.vs.Programs
• Numbers :rjb95a.semantics
• Numbers :rjb95x.semantics
• Numbers :rjb9x.Relations.vs.Programs
• O :rjb08.xbnf
• O :rjb95a.Relations.vs.Programs
• O :rjb96x.xbnf
• O :rjb99g.xbnf
• O :rjb9x.Relations.vs.Programs
• O :ttt
• Object :rjb08.xbnf
• Object :rjb99g.xbnf
• Object and Package Diagrams :20050502Body
• Objections :rjb99f.open
• Object Oriented Conceptual Model :rjb9Xb.discrete
• OBJECTS_0 :rjb08.xbnf
• OBJECTS_0 :rjb93a.xbnf
• OBJECTS_0 :rjb96x.xbnf
• OBJECTS_0 :rjb99g.xbnf
• OBJECTS_1 :rjb08.xbnf
• OBJECTS_1 :rjb93a.xbnf
• OBJECTS_1 :rjb96x.xbnf
• OBJECTS_1 :rjb99g.xbnf
• Objects :rjb08.xbnf
• Objects :rjb99g.xbnf
• OCL :20050502Body
• OCL/MOF/CWMF/etc :20050502Body
• Olenfeldt85 :rjb9Xx.TEMPO
• Olsen 93 :rjb95b.one.size
• Olsen 94 :rjb95b.one.size
• Olsen D 93 :rjb95b.one.size
• On Estimating the Understandability of Software Documents :rjb99i.understand
• On the Application of a Popular Notation to Semantics :rjb99b.sigplan
• OOP :rjb9x.Relations.vs.Programs
• op :rjb95a.semantics
• op :rjb95x.semantics
• Opposite :rjb95a.semantics
• Opposite :rjb95x.semantics
• Other Logics :rjb9Xb.discrete
• Other Techniques :rjb99i.understand
• output :rjb08.xbnf
• output :rjb93a.xbnf
• output :rjb96x.xbnf
• output :rjb99g.xbnf
• P1 :rjb08.xbnf
• P1 :rjb96x.xbnf
• P1 :rjb99g.xbnf
• package :rjb93a.xbnf
• Pagan83 :rjb9Xx.TEMPO
• page :rjb01a.13years
• page :rjb98a.tenyears
• p :rjb0xa.lift
• P :rjb0xa.lift
• P :rjb95a.Relations.vs.Programs
• p :rjb95b.one.size
• P :rjb99j.design
• p :rjb9Xa.lift
• P :rjb9Xa.lift
• P :rjb9x.Relations.vs.Programs
• Paper :rjb93a.xbnf
• Papers :rjb96b.mth2tex
• Parallel :rjb9Xb.discrete
• parent :rjb93a.xbnf
• parent :rjb95a.Relations.vs.Programs
• parent :rjb9x.Relations.vs.Programs
• Parnas 95 :rjb95b.one.size
• Pascal 94 :rjb95b.one.size
• pays :rjb93a.xbnf
• PEANO :rjb08.xbnf
• PEANO :rjb93a.xbnf
• PEANO :rjb96x.xbnf
• PEANO :rjb99g.xbnf
• Person :rjb08.xbnf
• Person :rjb96x.xbnf
• Person :rjb99g.xbnf
• Personal On Ramps :html.workshop
• Personal On Ramps :rjb94c.html
• Petri Net :20050502Body
• phase :rjb08.xbnf
• phase :rjb93a.xbnf
• phase :rjb96x.xbnf
• phase :rjb99g.xbnf
• Philosophistical arguments :ttt
• PHONE :rjb9x.Relations.vs.Programs
• Phone_books :rjb93a.xbnf
• Phone_books :rjb95a.Relations.vs.Programs
• Phone_books :rjb9x.Relations.vs.Programs
• phones :rjb93a.xbnf
• phones :rjb95a.Relations.vs.Programs
• phones :rjb9x.Relations.vs.Programs
• Place in the Software Process :rjb08.xbnf
• Place in the Software Process :rjb93a.xbnf
• Place in the Software Process :rjb96x.xbnf
• Place in the Software Process :rjb99g.xbnf
• Planar Programs :rjb9Xx.TEMPO
• Plans :rjb94b.mosaic
• Platform Independent Models :20050502Body
• Platform Specific Models :20050502Body
• PNat :rjb08.xbnf
• PNat :rjb96x.xbnf
• PNat :rjb99g.xbnf
• post :rjb08.xbnf
• post :rjb93a.xbnf
• post :rjb96x.xbnf
• post :rjb99g.xbnf
• power :rjb08.xbnf
• power :rjb93a.xbnf
• power :rjb96x.xbnf
• power :rjb99g.xbnf
• PowerSet :rjb08.xbnf
• PowerSet :rjb96x.xbnf
• PowerSet :rjb99g.xbnf
• PQRST :rjb99j.design
• pre :rjb08.xbnf
• pre :rjb96x.xbnf
• pre :rjb99g.xbnf
• pred :rjb08.xbnf
• pred :rjb93a.xbnf
• pred :rjb96x.xbnf
• pred :rjb99g.xbnf
• Predicates and Quantifiers :rjb9Xb.discrete
• probability :rjb95b.one.size
• Problems in Software Engineering :rjb9Xb.discrete
• Problems with Mathematics :rjb9Xb.discrete
• Process :rjb99h.feedback
• Production under Pressure :rjb95b.one.size
• Profit and the Common Good :rjb95b.one.size
• program :rjb93a.xbnf
• program :rjb95a.Relations.vs.Programs
• program :rjb9x.Relations.vs.Programs
• Program & System Specifications :rjb95a.Relations.vs.Programs
• Program & System Specifications :rjb9x.Relations.vs.Programs
• Program Derivation :rjb95a.Relations.vs.Programs
• Program Derivation :rjb9x.Relations.vs.Programs
• Program Like Structures: if, while, etc :rjb95a.Relations.vs.Programs
• Program Like Structures: if, while, etc :rjb9x.Relations.vs.Programs
• Programs :rjb95a.Relations.vs.Programs
• Programs :rjb9x.Relations.vs.Programs
• Programs :rjb9Xx.TEMPO
• Program Structures :rjb93a.xbnf
• PROLOG :rjb9x.Relations.vs.Programs
• Proof of 8 :rjb99j.design
• Proof of 9 :rjb99j.design
• Proof of and_commutes :rjb96b.mth2tex
• Proof of comm2 :rjb96b.mth2tex
• Proof of comm2 :ttt
• Proof of e2c :rjb0xa.lift
• Proof of uniqzero :ttt
• Proofs :rjb96b.mth2tex
• Proofs :rjb99j.design
• Properties of labels on buttons :rjb0xa.lift
• Properties of the T's :rjb99j.design
• Propositions :rjb9Xb.discrete
• Propositions and Predicates :rjb08.xbnf
• Propositions and Predicates :rjb93a.xbnf
• Propositions and Predicates :rjb96x.xbnf
• Propositions and Predicates :rjb99g.xbnf
• provides :rjb08.xbnf
• provides :rjb93a.xbnf
• provides :rjb96x.xbnf
• provides :rjb99g.xbnf
• Public Pages :html.workshop
• Public Pages :rjb94c.html
• Publishing :rjb94b.mosaic
• Push :rjb0xa.lift
• Push :rjb9Xa.lift
• pushed :rjb0xa.lift
• pushed :rjb9Xa.lift
• Q1 :rjb08.xbnf
• Q1 :rjb96x.xbnf
• Q1 :rjb99g.xbnf
• Q A :rjb93a.xbnf
• Q :rjb08.xbnf
• Q :rjb93a.xbnf
• Q :rjb96x.xbnf
• Q :rjb99g.xbnf
• Q :rjb99j.design
• Quantifiers :rjb96b.mth2tex
• quote :rjb08.xbnf
• quote :rjb93a.xbnf
• Quote :rjb95a.Relations.vs.Programs
• quote :rjb96x.xbnf
• quote :rjb99g.xbnf
• Quote :rjb9x.Relations.vs.Programs
• R1 :rjb0xa.lift
• R1 :rjb84a.FRED
• R1 :rjb84b.Generalization
• R1 :rjb9Xa.lift
• R2 :rjb0xa.lift
• R2 :rjb84a.FRED
• R2 :rjb84b.Generalization
• R2 :rjb9Xa.lift
• R3 :rjb0xa.lift
• R3 :rjb84a.FRED
• R3 :rjb84b.Generalization
• R3 :rjb9Xa.lift
• R4 :rjb84a.FRED
• R4 :rjb84b.Generalization
• R5 :rjb84a.FRED
• R5 :rjb84b.Generalization
• R6 :rjb84b.Generalization
• R :rjb08.xbnf
• R :rjb93a.xbnf
• r :rjb95b.one.size
• R :rjb96x.xbnf
• R :rjb99g.xbnf
• R :rjb9Xb.discrete
• record :rjb08.xbnf
• record :rjb93a.xbnf
• record :rjb96x.xbnf
• record :rjb99g.xbnf
• Record Classes and put on WWW :rjb01a.13years
• Record Classes and put on WWW :rjb98a.tenyears
• Recording Assumptions :rjb9Xa.lift
• ref1 :rjb99b.sigplan
• ref1 :rjb99h.feedback
• ref2 :rjb99b.sigplan
• ref2 :rjb99h.feedback
• ref3 :rjb99b.sigplan
• ref3 :rjb99h.feedback
• ref4 :rjb99h.feedback
• ref5 :rjb99h.feedback
• ref6 :rjb99h.feedback
• References :rjb96b.mth2tex
• References :rjb99b.sigplan
• References :rjb99h.feedback
• Reflexive_Transitive_Closure :rjb95a.semantics
• Reflexive_Transitive_Closure :rjb95x.semantics
• rel :rjb95a.semantics
• rel :rjb95x.semantics
• Related work :rjb95a.Relations.vs.Programs
• Related Work :rjb95b.one.size
• Related work :rjb9x.Relations.vs.Programs
• Relational Semantics of Stm :rjb95a.semantics
• Relational Semantics of Stm :rjb95x.semantics
• Relational Semantics of The While Language :rjb95a.semantics
• Relational Semantics of The While Language :rjb95x.semantics
• Relations :rjb95a.semantics
• Relations :rjb95x.semantics
• Relations :rjb9Xb.discrete
• Relations and Programs :rjb9x.Relations.vs.Programs
• Relations and SP :rjb95a.Relations.vs.Programs
• Relations and SP :rjb9x.Relations.vs.Programs
• Relationships :rjb0xa.lift
• Relationships :rjb9Xa.lift
• Relations on a Set X :rjb95a.semantics
• Relations on a Set X :rjb95x.semantics
• Relations that change :rjb95a.Relations.vs.Programs
• Relations that change :rjb9x.Relations.vs.Programs
• Relation to other work :rjb08.xbnf
• Relation to other work :rjb93a.xbnf
• Relation to other work :rjb96x.xbnf
• Relation to other work :rjb99g.xbnf
• Request :rjb0xa.lift
• request :rjb95a.Relations.vs.Programs
• Request :rjb9Xa.lift
• request :rjb9x.Relations.vs.Programs
• Requested :rjb9x.Relations.vs.Programs
• Request for Comment -- A Lightweight Notation on the WWW :rjb99e.maths
• Required :rjb9Xb.discrete
• Requirements :rjb0xa.lift
• Requirements :rjb9Xa.lift
• Requirements and Domain Analysis :rjb93a.xbnf
• Requirements for a Democracy :rjb99f.open
• resources :rjb99j.design
• Responses :rjb99h.feedback
• Reusable documentation :rjb08.xbnf
• Reusable documentation :rjb96x.xbnf
• Reusable documentation :rjb99g.xbnf
• Reusable Specifications on the Net :rjb0xa.lift
• Reusable Specifications on the Net :rjb9Xa.lift
• reverse :rjb08.xbnf
• reverse :rjb93a.xbnf
• reverse :rjb96x.xbnf
• reverse :rjb99g.xbnf
• Rick Bruner's Conclusions :20050502Outline
• ROFL :rjb01a.13years
• ROFL :rjb98a.tenyears
• Roojimans et al 96 :rjb95b.one.size
• ROOT :rjb00a.ActiveROOT
• R;S :rjb95a.Relations.vs.Programs
• R;S :rjb9x.Relations.vs.Programs
• rules :rjb99j.design
• Rumbaughetal90 :rjb9Xx.TEMPO
• s0 :rjb99j.design
• safe_steps :rjb99j.design
• s :rjb0xa.lift
• S :rjb0xa.lift
• S :rjb99j.design
• s :rjb9Xa.lift
• S :rjb9Xa.lift
• sample assignment :rjb95a.semantics
• Sample MATHS :ttt
• Sample Proof :rjb08.xbnf
• Sample Proof :rjb96x.xbnf
• Sample Proof :rjb99g.xbnf
• Samples :rjb96b.mth2tex
• SAMPLES FROM ALGEBRA :rjb9Xb.discrete
• Sanders 95a :rjb95b.one.size
• Scanlan89 :rjb9Xx.TEMPO
• Script :rjb08.xbnf
• Script :rjb99g.xbnf
• Sebesta :rjb00a.ActiveROOT
• second_cousin :rjb93a.xbnf
• second_cousin :rjb95a.Relations.vs.Programs
• second_cousin :rjb9x.Relations.vs.Programs
• See Also :html.workshop
• See Also :index
• See Also :rjb94c.html
• selection :rjb95a.semantics
• selection :rjb95x.semantics
• Selections :rjb95a.Relations.vs.Programs
• Selections :rjb9x.Relations.vs.Programs
• sells :rjb93a.xbnf
• Semantic Domains :rjb95a.semantics
• Semantic Domains :rjb95x.semantics
• Semantic Equations :rjb95a.semantics
• Semantic Equations :rjb95x.semantics
• Semantic Equations for Num :rjb95a.semantics
• Semantic Equations for Num :rjb95x.semantics
• Semantics :rjb9Xx.TEMPO
• Semantics of Aexp :rjb95a.semantics
• Semantics of Aexp :rjb95x.semantics
• Semantics of Bexp :rjb95a.semantics
• Semantics of Var :rjb95a.semantics
• Semantics of Var :rjb95x.semantics
• Semigroup :rjb08.xbnf
• Semigroup :rjb96x.xbnf
• Semigroup :rjb99g.xbnf
• Semigroup :rjb9Xb.discrete
• SEMIGROUP :rjb9Xb.discrete
• sequence :rjb08.xbnf
• sequence :rjb93a.xbnf
• sequence :rjb95a.semantics
• sequence :rjb95x.semantics
• sequence :rjb96x.xbnf
• sequence :rjb99g.xbnf
• Sequence Diagrams :20050502Body
• Sequences :rjb95a.Relations.vs.Programs
• Sequences :rjb9x.Relations.vs.Programs
• Sequential Structures :rjb9Xx.TEMPO
• Serial :rjb9Xb.discrete
• Serial Data :rjb93a.xbnf
• Serial Data :rjb95a.Relations.vs.Programs
• Serial Data :rjb9x.Relations.vs.Programs
• server :rjb01a.13years
• server :rjb98a.tenyears
• Service :rjb0xa.lift
• Service :rjb9Xa.lift
• serviced :rjb0xa.lift
• serviced :rjb9Xa.lift
• Serviced :rjb9x.Relations.vs.Programs
• Services :rjb08.xbnf
• Services :rjb99g.xbnf
• Set :rjb08.xbnf
• Set :rjb96x.xbnf
• Set :rjb99g.xbnf
• set_expression :rjb08.xbnf
• set_expression :rjb93a.xbnf
• set_expression :rjb96x.xbnf
• set_expression :rjb99g.xbnf
• Sets :rjb08.xbnf
• Sets :rjb93a.xbnf
• Sets :rjb96x.xbnf
• Sets :rjb99g.xbnf
• Sets :rjb9Xx.TEMPO
• Sets of Objects :rjb95a.Relations.vs.Programs
• Sets of Objects :rjb9x.Relations.vs.Programs
• Set Up :rjb94b.mosaic
• ShahookarMazumber91 :rjb9Xx.TEMPO
• ShlaerMellor92 :rjb9Xx.TEMPO
• Short forms :rjb95a.Relations.vs.Programs
• Short forms :rjb9x.Relations.vs.Programs
• Shurmer & Lea 95 :rjb95b.one.size
• sibling :rjb93a.xbnf
• sibling :rjb95a.Relations.vs.Programs
• sibling :rjb9x.Relations.vs.Programs
• simple_definition :rjb96b.mth2tex
• Simple Layout :html.workshop
• Simple Layout :rjb94c.html
• Simplification :rjb95a.Relations.vs.Programs
• Simplification :rjb9x.Relations.vs.Programs
• sister :rjb93a.xbnf
• sister :rjb95a.Relations.vs.Programs
• sister :rjb9x.Relations.vs.Programs
• Smoot 95 :rjb95b.one.size
• Software_engineering :rjb9Xb.discrete
• some_map :rjb08.xbnf
• some_map :rjb93a.xbnf
• some_map :rjb96x.xbnf
• some_map :rjb99g.xbnf
• son :rjb93a.xbnf
• son :rjb95a.Relations.vs.Programs
• son :rjb9x.Relations.vs.Programs
• S o R :rjb95a.Relations.vs.Programs
• S o R :rjb9x.Relations.vs.Programs
• Sources :20050502Outline
• SP :rjb95a.Relations.vs.Programs
• SP :rjb9x.Relations.vs.Programs
• Special Directories :rjb94b.mosaic
• Special Kinds of Button :rjb0xa.lift
• Specifications :rjb93a.xbnf
• Split between research and practice :rjb95b.one.size
• Sqrt :rjb95a.Relations.vs.Programs
• Sqrt :rjb9x.Relations.vs.Programs
• stable :rjb95a.Relations.vs.Programs
• stable :rjb9x.Relations.vs.Programs
• stable_wrt :rjb99j.design
• Stack :rjb08.xbnf
• stack :rjb93a.xbnf
• Stack :rjb99g.xbnf
• s ! t :rjb93a.xbnf
• s ! t :rjb95a.Relations.vs.Programs
• s ! t :rjb9x.Relations.vs.Programs
• STANDARD :rjb08.xbnf
• STANDARD :rjb0xa.lift
• STANDARD :rjb99g.xbnf
• STANDARD :rjb9Xa.lift
• standard artifact stereotypes :20050502Body
• star :rjb93a.xbnf
• star :rjb95a.Relations.vs.Programs
• star :rjb9x.Relations.vs.Programs
• State :rjb95a.semantics
• State :rjb95x.semantics
• State Space :rjb0xa.lift
• State Space :rjb95a.semantics
• State Space :rjb95x.semantics
• State Space :rjb9Xa.lift
• State Spaces with Constraints :rjb95a.Relations.vs.Programs
• State Spaces with Constraints :rjb9x.Relations.vs.Programs
• Status :rjb95b.one.size
• Status: Archive :rjb9Xa.lift
• Status: Working Paper :rjb0xa.lift
• Stretching too far :rjb08.xbnf
• Stretching too far :rjb96x.xbnf
• Stretching too far :rjb99g.xbnf
• Structural Operational Semantics :rjb95a.semantics
• Structural Operational Semantics :rjb95x.semantics
• Structural or Abstract XBNF :rjb08.xbnf
• Structural or Abstract XBNF :rjb96x.xbnf
• Structural or Abstract XBNF :rjb99g.xbnf
• structure :rjb08.xbnf
• structure :rjb96x.xbnf
• structure :rjb99g.xbnf
• Structure :rjb99j.design
• Structure Diagrams :20050502Outline
• Structured State Spaces :rjb95a.Relations.vs.Programs
• Structured State Spaces :rjb9x.Relations.vs.Programs
• Structures :rjb9Xb.discrete
• Structures and Programs :rjb95a.Relations.vs.Programs
• Structures and Programs :rjb9x.Relations.vs.Programs
• Student :rjb08.xbnf
• Student :rjb96x.xbnf
• Student :rjb99g.xbnf
• Students with Public Information :rjb94b.mosaic
• Style :rjb99i.understand
• Subclasses of a structured type :rjb95a.Relations.vs.Programs
• Subclasses of a structured type :rjb9x.Relations.vs.Programs
• Subsets :rjb9Xa.lift
• succ :rjb08.xbnf
• succ :rjb93a.xbnf
• succ :rjb96x.xbnf
• succ :rjb99g.xbnf
• SUM :rjb95a.Relations.vs.Programs
• SUM :rjb9x.Relations.vs.Programs
• Summary :rjb08.xbnf
• Summary :rjb93a.xbnf
• Summary :rjb96x.xbnf
• Summary :rjb99g.xbnf
• Summary :rjb99h.feedback
• Summary :rjb9Xx.TEMPO
• Suppliers and Consumers :rjb95b.one.size
• Syntax and Grammar :rjb99i.understand
• Syntax and Semantics :rjb95a.semantics
• Syntax and Semantics :rjb95x.semantics
• Systems Analysis by Stating the Obvious :rjb0xa.lift
• Systems Analysis by Stating the Obvious :rjb9Xa.lift
• Table 1. Applications :rjb08.xbnf
• Table 1. Applications :rjb93a.xbnf
• Table 1. Applications :rjb96x.xbnf
• Table 1. Applications :rjb99g.xbnf
• t :rjb99j.design
• T :rjb99j.design
• T :rjb9Xb.discrete
• TBA :index
• TBA :rjb01a.13years
• TBA :rjb98a.tenyears
• TBA :ttt
• Teacher :rjb08.xbnf
• Teacher :rjb96x.xbnf
• Teacher :rjb99g.xbnf
• Teacher :rjb9Xb.discrete
• TEMPO :rjb9Xx.TEMPO
• Temporal Maps :rjb9Xx.TEMPO
• Ten Years of Internet Teaching :rjb98a.tenyears
• term :rjb93a.xbnf
• term :rjb95a.semantics
• term :rjb95x.semantics
• Terminal :rjb95a.semantics
• Terminal :rjb95x.semantics
• Terminology :rjb95a.semantics
• Terminology :rjb95x.semantics
• term " :rjb93a.xbnf
• term" :rjb96x.xbnf
• Tester :ttt
• The Do-Nothing Option :rjb99j.design
• The Future :rjb9Xx.TEMPO
• The Internet is different :rjb01a.13years
• The Internet is different :rjb98a.tenyears
• The Language :rjb96b.mth2tex
• The Lift Problem :rjb0xa.lift
• The Lift Problem :rjb9Xa.lift
• The MATHS Manifesto :rjb96b.mth2tex
• Themes :rjb9Xx.TEMPO
• Theorem 1 :rjb95a.Relations.vs.Programs
• Theorem 1 :rjb9x.Relations.vs.Programs
• Theorem :rjb95a.Relations.vs.Programs
• Theorem :rjb9x.Relations.vs.Programs
• Theory :rjb99j.design
• Theory(Minimal) :rjb93a.xbnf
• Theory of Values :rjb99j.design
• The Traditional Theory of BNF :rjb08.xbnf
• The Traditional Theory of BNF :rjb96x.xbnf
• The Traditional Theory of BNF :rjb99g.xbnf
• Things that should be Hidden :rjb99f.open
• Thirteen Years of Internet Teaching :rjb01a.13years
• This Paper :rjb96b.mth2tex
• ThLa :rjb99e.maths
• Timing Diagrams :20050502Body
• Tools and Samples :rjb08.xbnf
• Tools and Samples :rjb96x.xbnf
• Tools and Samples :rjb99g.xbnf
• total :rjb95a.semantics
• Transition :rjb95a.semantics
• Transition :rjb95x.semantics
• Trasitive Closures :rjb95a.Relations.vs.Programs
• Trasitive Closures :rjb9x.Relations.vs.Programs
• Tree :rjb08.xbnf
• Tree :rjb96x.xbnf
• Tree :rjb99g.xbnf
• Two Kinds of Page :html.workshop
• Two Kinds of Page :rjb94c.html
• Types of Software Production :rjb95b.one.size
• u1>u2 :rjb0xa.lift
• u1>u2 :rjb9Xa.lift
• U :rjb0xa.lift
• U :rjb9Xa.lift
• uncle :rjb93a.xbnf
• uncle :rjb95a.Relations.vs.Programs
• uncle :rjb9x.Relations.vs.Programs
• union :rjb08.xbnf
• union :rjb93a.xbnf
• Union :rjb95a.semantics
• Union :rjb95x.semantics
• union :rjb96x.xbnf
• union :rjb99g.xbnf
• uniqzero :rjb96b.mth2tex
• uniqzero :ttt
• Universal relation :rjb95a.semantics
• Universal relation :rjb95x.semantics
• Universal Resource Locators :html.workshop
• Universal Resource Locators :rjb94c.html
• universe :rjb08.xbnf
• universe :rjb96x.xbnf
• universe :rjb99g.xbnf
• Universe of Discourse :rjb0xa.lift
• Universe of Discourse :rjb9Xa.lift
• UNIVERSITY :rjb9Xb.discrete
• Up :rjb0xa.lift
• Up :rjb9Xa.lift
• Up and Down Buttons :rjb0xa.lift
• Upson90 :rjb9Xx.TEMPO
• URL :rjb01a.13years
• URL :rjb98a.tenyears
• URLs :rjb08.xbnf
• URLs :rjb96x.xbnf
• URLs :rjb99g.xbnf
• Use in Software Engineering :rjb9Xb.discrete
• Use in Teaching :rjb9Xb.discrete
• V :rjb0xa.lift
• v :rjb95b.one.size
• V :rjb99j.design
• V :rjb9Xa.lift
• V :rjb9Xb.discrete
• valid :rjb08.xbnf
• valid :rjb93a.xbnf
• valid :rjb96x.xbnf
• valid :rjb99g.xbnf
• valid_wrt :rjb08.xbnf
• valid_wrt :rjb93a.xbnf
• valid_wrt :rjb96x.xbnf
• valid_wrt :rjb99g.xbnf
• Value to the User :rjb95b.one.size
• Var :rjb95a.semantics
• Var :rjb95x.semantics
• Variables :rjb95a.semantics
• Variables :rjb95x.semantics
• Variety :rjb99i.understand
• velocities :rjb0xa.lift
• Velocities :rjb0xa.lift
• velocities :rjb9Xa.lift
• Velocities :rjb9Xa.lift
• Virtual discussions :rjb01a.13years
• Virtual discussions :rjb98a.tenyears
• Vocabulary :rjb99i.understand
• w :rjb95a.Relations.vs.Programs
• W :rjb95a.Relations.vs.Programs
• W :rjb9Xb.discrete
• w :rjb9x.Relations.vs.Programs
• W :rjb9x.Relations.vs.Programs
• Warning :rjb99j.design
• Warning: Obsolete Information :rjb94b.mosaic
• Warren-Boulton et al 95 :rjb95b.one.size
• What for? :20050502Outline
• What Happens :rjb01a.13years
• What Happens :rjb98a.tenyears
• What is the UML? :20050502Outline
• What Next :20050502Body
• What to Put Online :rjb01a.13years
• What to Put Online :rjb98a.tenyears
• Who uses the UML? :20050502Outline
• Why Buttons are labeled Up and Down :rjb0xa.lift
• Why Buttons are labeled Up and Down :rjb9Xa.lift
• With T :rjb93a.xbnf
• Witty76 :rjb9Xx.TEMPO
• Witty77 :rjb9Xx.TEMPO
• word :rjb08.xbnf
• word :rjb93a.xbnf
• word :rjb96x.xbnf
• word :rjb99g.xbnf
• Work In Progress :index
• Workshop on the HyperText Markup Language(HTML) :html.workshop
• Workshop on the HyperText Markup Language(HTML) :rjb94c.html
• WWW :rjb01a.13years
• WWW :rjb98a.tenyears
• WWW Pages Can Ask Questions :rjb98a.quiz
• WWW Portfolios :rjb01a.13years
• WWW Portfolios :rjb98a.tenyears
• x0 :rjb0xa.lift
• x0 :rjb9Xa.lift
• x1 :rjb0xa.lift
• x1 :rjb9Xa.lift
• x :rjb0xa.lift
• X :rjb0xa.lift
• X :rjb93a.xbnf
• x :rjb96b.mth2tex
• x :rjb9Xa.lift
• X :rjb9Xa.lift
• x :ttt
• XBNF :rjb08.xbnf
• XBNF :rjb93a.xbnf
• XBNF :rjb95a.semantics
• XBNF :rjb95x.semantics
• XBNF :rjb96x.xbnf
• XBNF :rjb99g.xbnf
• XBNF :rjb99i.understand
• XBNF_definition :rjb08.xbnf
• XBNF_definition :rjb93a.xbnf
• XBNF_definition :rjb96x.xbnf
• XBNF_definition :rjb99g.xbnf
• XBNF_dictionary :rjb08.xbnf
• XBNF_dictionary :rjb93a.xbnf
• XBNF_dictionary :rjb96x.xbnf
• XBNF_dictionary :rjb99g.xbnf
• XBNF_expression :rjb08.xbnf
• XBNF_expression :rjb93a.xbnf
• XBNF_expression :rjb96x.xbnf
• XBNF_expression :rjb99g.xbnf
• XBNF in XBNF :rjb08.xbnf
• XBNF in XBNF :rjb93a.xbnf
• XBNF in XBNF :rjb96x.xbnf
• XBNF in XBNF :rjb99g.xbnf
• XMI :20050502Body
• x R y :rjb08.xbnf
• x R y :rjb96x.xbnf
• x R y :rjb99g.xbnf
• x,y :rjb95a.semantics
• x,y :rjb95x.semantics
• xyz :rjb0xa.lift
• XYZ :rjb0xa.lift
• xyz :rjb9Xa.lift
• XYZ :rjb9Xa.lift
• Y2K is Business as Usual :rjb99d.y2kbau
• Y :rjb0xa.lift
• Y :rjb9Xa.lift
• You need Backup Plans :rjb01a.13years
• You need Backup Plans :rjb98a.tenyears
• Zachary 93 :rjb95b.one.size
• Z :rjb0xa.lift
• Z :rjb9Xa.lift
• Zelkowitz90 :rjb9Xx.TEMPO
• zero :rjb08.xbnf
• zero :rjb93a.xbnf
• zero :rjb96b.mth2tex
• zero :rjb96x.xbnf
• zero :rjb99g.xbnf
• zero :ttt rjb93a.xbnf.html:Is a subset of">Note Is a subset of