Document: |
Description: |
PDF: |
TXT: |
HTML: |
Resume |
Short description of my software engineering
qualifications. |
pdf |
txt |
|
Chart2D Documents: |
Chart2D Tutorial |
Ten page tutorial describing how to use the Chart2D
library. |
pdf |
|
html |
Chart2D Public API Javadocs |
Documentation of the Chart2D API. |
|
|
html |
Chart2D (Early) Specification |
Eleven page early specification document of the Chart2D library. |
pdf |
|
|
Chart2D Support Requests Forum |
Replies to support requests from Chart2D users. Change
status to "any". |
|
|
html |
Chart2D Bug Reports Forum |
Replies to bug reports from Chart2D users. Change
status to "any". |
|
|
html |
Chart2D Feature Requests Forum |
Replies to feature requests from Chart2D users.
Change status to "any". |
|
|
html |
Formal Methods
Documents: |
On the Mechanics of Formal Methods |
Twenty page introduction to the mechanics of Formal
Methods. |
pdf |
|
|
Graduate Programs for Formal Methods |
Three page report on where to do graduate research in
Formal Methods. |
pdf |
|
|
Senior Project in Formal Methods |
Three page report on my senior project in Formal
Methods. |
pdf |
|
|
Undergraduate's Guide to Formal Methods |
Thirteen page report on Formal Methods and written for
undergraduates. |
pdf |
|
|
On the Nature of Logic |
Twenty two page paper presenting a theory on the nature
of Logic. |
pdf |
|
|
On the Nature of Epistemology |
Twenty three page paper presenting a theory on the
nature of Knowledge. |
pdf |
|
|