CSE 403: Course Outline

Grading:

• Group Project - 50%
• Midterm Exam (In Class, Open Book, Friday May 22) - 30%
• Homework - 20%

Topic Outline:

• Introduction (Chapters 1-3, Sec 7.1)
  • Defining Software Engineering
  • Some Principles
  • Software Life Cycle
• Requirements and Design Specifications (Chapter 5)
  • Contents of a Requirements Document
  • Informal Specification Methods
    • Data Flow Diagrams
    • Entity-Relationship Diagrams
  • Formal Methods: Operational vs. Descriptive
    • State-Based: Finite State Machines, Statecharts, Petri-Nets
    • First-Order Logic, Real-Time Logic, Algebraic Specifications
    • Verification: Executing Specifications, Analysis
• Design and Development Methodologies (Chapter 4; Secs. 7.3.1, 7.3.2)
  • Software Structures and Interfaces
    • Modularization
    • Object-Oriented Schemes
    • Concurrency
  • Design Approaches
    • Structured Analysis/Structured Design (SA/SD)
    • Jackson’s System Development (JSD)
  • Configuration Management
• Software Verification (Chapter 6)
  • Program Proving With Hoare Logic
  • Testing Methods
    • Coverage
    • Black and White Box Testing of Modules
    • Walkthroughs
    • Systems Testing
• Management Aspects (Chapter 8)
  • Project Organization
  • Scheduling With Gantt and PERT Charts
  • Software Metrics and Cost Estimation
• Tools and Environments (Chapter 9)