Thomas A. Alspaugh
Foundations
My students have sometimes lacked enough background in some of the foundations needed for the material I teach and work with. Rather than having them buy extra textbooks for (usually) a small amount of material, I gradually accumulated these pages. In later years I also added pages for analogous areas I was learning and using myself.
Mathematics
- Sets
- Relations, equivalence relations, order relations
- Correspondences, functions, mappings
- Ordered sets
- CPOs and lattices
- Graphs
- Powersets
- Cartesian products
- Binary and other strings
- Properties of operations
- Categories
- Allen's interval algebra
- “It’s Greek to me”—reading, pronouncing, and spelling some troublesome symbols and words
Logic and Languages
- Logic terms and concepts
- Mathematical induction
- Strong induction
- Recursive definitions and derivations
- Structural Induction
- Regular Expressions
- Protégé 4
- Macro Processing
Writing, Thinking, Working Together
- Glossary: Some Useful Terms from Outside Computer Science
- Abstracts
- Toulmin's Structure of Arguments
- Formality
- Hohfeld's Legal Relations
- The Inquiry Cycle
- LATEX
- Negotiation
- Presentations
- Procrastination
- Quotations
- Teamwork
Software Development
Overall
- Quotations
- Kinds of Systems
- Software Architecture
- Data Flow
- Software Evolution
- Intellectual Property and SWD — A software licensing timeline
- Object Orientation
- Software Process Models
- Reviewing for Quality
- Testing
Requirements
- Kinds of Requirements
- Elicitation “Quick Start”
- Glossaries and Ontologies
- Goals and Goal Graphs
- i*
- Narrative Requirements
- SCR-style Requirements
- Software Qualities (Ilities)
- Tracing
Specifications and Modelling
Java
- Coding Standards
- Design Patterns
- Javadoc
- JUnit
- Java Nested Classes
- Java Packages
- Java Types, Interfaces, and Classes
Web
I would like to thank the many students (and other readers) whose suggestions and comments have improved these pages markedly. All remaining flaws are due to the author. Please contact me if you find an error.
- thomas · alspaugh @ acm · org
-
-
Attribution