CIS 376 Lecture Notes

• User Modeling
  • Kieras - ftp site (GOMS and KLM papers)
  • Kieras - GOMS example (html)
  • Kieras - GOMS modeling examples (pdf)
  • Kieras - GOMS and usability (pdf)
• User Interface Styles
• User Interface Design
• User Interface Evaluation
• Usability and Accessibility
  • Web Site Accessibility
  • Web Site Design - Guidelines for Accessibility
  • Web Site Usability
• Web Engineering
  • Web Engineering Resources (Pressman)
• Web Analysis
• Web Design
• Web Testing
• Web Design and Hypermedia
• Personal Software Process - Overview
• Personal Software Process - Software Measurement
• Personal Software Process - Software Quality
• Personal Software Process - Scalability
• Personal Software Process - Use in Organizations
• Software Dependability
• Software Reliability
  • Reliability Analysis Center
  • Software Reliability Cenyter
  • Web Links on Software Relibaility
• Designing Dependable Systems
• Software Verification and Validation
• Critical System Validation
  • NASA Guidebook on Safety Critical Systems
  • Safety Critical Systems Archive
  • Software Safety Papers
• Software Quality Management
• Process Improvement
  • Quality Control Tools Tutorial
• Formal Methods and Algebraic Specification
  • Sommerville's 5th Edition Algebraic Specification Chapter (pdf)
• Formal Methods and Model-Based Specification
  • Sommerville's 5th Edition Model-Based Specification Chapter (pdf)
• Mathematical Models and Specification Languages
  • UML for Developers (TogetherSoft)
  • Z Specification Language Web Site
  • Community Z Tools
• Formal Methods and Software Verification
  • Formal Software Verification (Paulson)
  • Formal Methods for Life-Critical Software (Butler)
  • Formal Methods in User Interface Specification (Dix)
  • Program Correctness Proofs (Peters)
  • Software Engineering II Notes (Paulson)
• Introducing Formal Methods to a Project
• Cleanroom Software Engineering
  • DOD Stars Tutorial on Cleanroom Software Engineering
  • Integration of Object-Oriented and Cleanroom Methods
• Software Reuse and Component-Based Software Engineering
  • Design Patterns (Lethbridge's Object-Oriented Software Engineering)
• Legacy Systems
• Managing Software Change
• Software Evolution Planning
  • Renaissance Reengineering Web Site
• Software Reengineering
• Configuration Management
• CASE Tools
  • CASE Tool Index
• Software Architecture
  • Architecture and Design (Lethbridge's Object-Oriented Software Engineering)
• Liability and Warranites
• Consumer's Bill of Rights (Cem Kaner'’s Blog)
• Software Liability (Hervey)
• Warrantie's (from Beatty/Samuelson)