Data-Driven Operating System for Data-Driven Architectures of Real-Time Systems -- (1984) Seminal work for RITA
Program Construction from Formal Specifications -- (1997) Presentation to South Carolina Research Authority
RITA --(2000) Regulated Isomorphic Temporal Architecture
Untangling Configuration Management -- (2000) Foundation document on CM for my Clients
Product Line Configuration Management, Policy & Procedures -- (2000) Implementation document on CM for my Clients
Beauty and the Beast -- (2004) A presentation to MITRE on things big and temporal
Reconfigurable Computing Seminar Series -12 week seminar (2006)
Week 1 - Models of Computation
Week 2 - EE IC Refresher/Primer
Week 3 - Component ASIC, PLD, CPLD, FPGA
Week 3 Addendum
Week 4 - Electronic Design Automation
Week 5 - VHDL Primer, part I
Week 6 - VHDL Primer, part II
Week 7 - System Architecture
Week 8 - System Design
Week 9 - System Design Tools
Week 10 - Testing
Week 11 - Military/Aerospace Applications
Week 12 - Wrap-Up
Reconfigurable Computing Machine Implementation of Rational Trigonometry Algorithms -- Engineering Excellence Symposium (2006)
Formal Methods in Software Engineering - A short course (2008) I highly recommend going through this if you think that FM is not for you. It is essential in proper software engineering.
Week 1 - Foundations, Part 1
Week 2 - Foundations, Part 2
Week 3 - Tools
Week 4 - Application & Practical Issues
Agile Development Methods in Current Environments -- Systems Engineering Advisory Group (2009)
