[Skip Navigation] [CSUSB] / [CNS] / [CSE] / [R J Botting] >> [papers] >> index
[Index] [Contents] [Source] [Notation] [Copyright] [Comment] [Search ]
Thu Nov 8 14:35:48 PST 2012

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 Nov 8 14:35:48 PST 2012 ). Permission is granted to quote and use this document as long as the source is acknowledged.


Opening the PDF files on this page may require you to download Adobe Reader or an equivalent viewer (GhostScript).

Contents


    Directory

      1980s


      (1984):
    1. FRED -- The Friendly Editor [ rjb84a.FRED.html ]

    2. Generalization - an alternative to error messages [ rjb84b.Generalization.html ]

      More... Listed in [ ../VITAble.html#1984-1989 ] [ ../old_publications.html ] (1968-1982).

      1990s


      (1992): Part of a poster presented at SIAM Southern California Meeting [ rjb92SIAMPoster.gif ]


      (1993):

    3. Workshop on the HyperText Markup Language(HTML) [ html.workshop.html ]

    4. How Far Can EBNF Stretch? [ rjb93a.xbnf.html ]


      (1994):

    5. Mosaic = ftp + www [ rjb94b.mosaic.html ]


      (1995):

    6. Relational Semantics of The While Language [ rjb95a.semantics.html ]

    7. Figures for One Size Fits all [ rjb95b.figs.html ]

    8. Can One Size Fit All? [ rjb95b.one.size.html ]

    9. Relational Semantics of The While Language [ rjb95x.semantics.html ]


      (1996):

    10. Making Formal Documentation Simpler [ rjb96b.mth2tex.html ]

    11. How Far Can EBNF Stretch? [ rjb96x.xbnf.html ]


      (1998):

    12. WWW Pages Can Ask Questions [ rjb98a.quiz.html ]

    13. Ten Years of Internet Teaching [ rjb98a.tenyears.html ]


      (1999):

    14. Refashioning CS320 to use Object-Oreinted Technology [ rjb99a.ROOT320.html ]

    15. Using the UML for Specifying Languages [ rjb99c.umlpl.ps ] (PostScript with diagrams), [ rjb99c.umlpl.html ] (HTML without Graphics), and [ rjb99c.umlpl.fig1.mdl ] [ rjb99c.umlpl.fig3.mdl ] [ rjb99c.umlpl.fig4.mdl ] [ rjb99c.umlpl.fig5.mdl ] [ rjb99c.umlpl.fig6.mdl ] (Rational Rose Models).

    16. On the Application of a Popular Notation to Semantics [ rjb99b.sigplan.html ]

    17. Y2K is Business as Usual [ rjb99d.y2kbau.html ]

    18. Request for Comment -- A Lightweight Notation on the WWW [ rjb99e.maths.html ]

    19. Most Software should be Open Source [ rjb99f.open.html ]

    20. How Far Can EBNF Stretch? [ rjb99g.xbnf.html ]

    21. End of Year Report on FEEDBACK99 [ rjb99h.feedback.html ]

    22. An Example of Formal Analysis: The Lift Problem [ rjb9Xa.lift.html ] (reformatted C2004).

      2000

    23. Active Learning of Object-Oriented Analysis and Design [ rjb00a.ActiveROOT.html ] (Presented at OOPSLA 2000 Educators Symposium)

      2002

      A Solvable Stochastic Model of Debugging, Abstract: [ rjb02a.hack.html ]

      Some Stochastic Models of Software Evolution, AVs prepared for presentation at SCI'2002 [ rjb02bEvolve.pdf ] [ rjb02b.evolve.txt ]

      2003

      A Report on the Stuctured Inheritance Model of Dr. Gardner, (outline: [ rjb03a_Gardner.htm ] AV: [ rjb03a_gardner.pdf ] (PDF, may have WordPerfect created errors) )

      2004

      Draft of a paper on teaching Ethics [ rjb04aEthics.pdf ] (PDF)


      (Drawing DFDs in the UML): [ http://cse.csusb.edu/dick/papers/rjb04bDFDs/ ] (Figures from a draft of a chapter)

      2005


      (UML2.0): Presentation on changes in the Unified Modeling language [ 20050502Abstract.html ] [ 20050502Outline.html ] [ 20050502Body.html ] (CSUSB, CSci Seminar series, May 2nd 2005).

      2006


      (UML Ambiguous): Presentation on an ambiguity in the Unified Modeling Langauge [ ../seminar/20060505.JPG ] [ ../seminar/20060505.txt ]

      Note. published a letter referring to
      (DFDs): [ rjb04bDFDs/ ]

      2008


      (restartable subroutines): This is a revision of a 1980s annex of a text book on systems programming that I wrote. I've just recovered it from aancient media, fixed some errors in the code, and added a new technique [ restartable.txt ] for simulating parallel designs by inverted or restartable subroutines.

      2011


      (CAMean): Notes on applying probability to cellular automata [ rjb11.CAMeanField.html ]

      2012

    24. Modelling evolving software: [ rjb12.design.html ]

      Work In Progress

    25. The PQRST Requirements Taxonomy (February 22nd 2001) [ rjb01a.pqrst.htm ]

    26. Simple Measuring Tools for Software Development Documents [ rjb99i.understand.html ]

    27. A Theory of Design [ rjb99j.design.html ]

    28. An Example of Formal Analysis: The Lift Problem Revisited [ rjb0xa.lift.html ]

    29. Discrete Mathematics in Software Engineering [ rjb9Xb.discrete.html ]

    30. Temporal Maps [ rjb9Xx.TEMPO.html ]

    31. Relations and Programs [ rjb9x.Relations.vs.Programs.html ]

    32. Timed Relations [ rjb9x.Timed.Relations.html ]

    . . . . . . . . . ( end of section Directory) <<Contents | End>>

    See Also

    I also have a large number of samples of my MATHS language: [ samples ]

    Definitions

  1. TBA::="To Be Announced".

End