CIS 376 Lecture Notes

\ CIS 376 Lecture Notes

CIS 376 Lecture Notes

Viewing these files requires the use of IE 5.0 or later (XML files used).

User Modeling
- Kieras - ftp site (GOMS and KLM papers)
- Kieras - GOMS example (html)
- Kieras - GOMS modeling examples (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 Design and Hypermedia
Personal Software Process - Overview
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 Systems 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)
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
Planning Software Evolution
- Renaissance Reengineering Web Site
Software Reengineering
Configuration Management
CASE Tools
- CASE Tool Index
Software Architecture
- Architecture and Design (Lethbridge's Object-Oriented Software Engineering)

This page has been accessed