Software Engineering



CSE470 Fall 2001

Topics to be Covered in Exam

• General information regarding software engineering
  (Ghezzi 1,2,3,7, Lecture Notes)
• Embedded systems (Lecture Notes)
• Requirements Analysis: (Douglass 1,2, Lecture Notes)
  • Structured
  • Object-Oriented
• UML:
  (Lecture Notes, Douglass: 3,4)
  • Use cases
  • Sequence diagrams
  • Class diagrams
  • State diagrams
• Quality Assurance (Ghezzi: 5, Lecture Notes)
  • Formal Specifications
    (Lecture Notes : Formal Methods and Model Checking)
  • Inspections
• System Design (Lecture Notes)
• Testing and Debugging (Lecture Notes)
• You should be able to do the following:
  • For a sample problem, create all 4 types of UML diagrams that we covered in class.
  • Translate a state diagram into Promela
  • Convert a safety or liveness property into an LTL specification

About this document ...

This document was generated using the LaTeX2HTML translator Version 98.1 release (February 19th, 1998)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -split 0 -no_navigation -show_section_numbers -t CSE470_Exam_Review review-cheng-mcumber01.tex.

The translation was initiated by CSE 470 Class Account on 2001-11-12