Monday 10:00am to 11:40am
Tuesday 12:00 noon to 1:40pm
Wednesday 10:00am to 11:40am
or email me to set up a meeting outside of these times.
Assembly Programming, Concepts of Programming Languages, Compilers, Operating Systems, Software Engineering, Web Server and Unix Administration
Advanced Software Engineering, Software Specification and Verification (coming Summer 2019)
Improving the practice of requirements engineering---elicitation, specification, analysis, and verification of software system requirements and design preferences---using both human (listening) and computational (automated preference reasoning) methods.