THis page is on the
Computer Science Faculty's WWW Server
at the California State University,
San Bernardino, California, USA.
This is part of
The goal of the project is to develop a simple, cheap, and easy to use
notation that expresses ideas
about complex systems, complicated logic, and hence software
integrating mathematics, natural language, and formal logic.
Here are some good starting points:
See my research page for information on other notations, methods, and processes.
Manifesto, defining goals and requirements.
- Beginners Start Here! Some introductory descriptions,
- The Index page,
- Overview of contents and formal description,
- The Syntax of the notation(like '::=', '#(_)', 'O(_)', '|', '&', etc),
- Download an UML model
for Rational Rose 4.0 and above.
- some sample documentation,
- a To-Do List,
Send any comments to<rbotting at CSUSB.edu>.