This part of my site contains partly baked ideas (PBI). It has drafts
for publications, essays, plus illustrations and visual aids for
presentations and seminars.
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