Software Engineering for MSc Courses FT120-1 and B773-2

Software Engineering

UML and Rational Rose

Java

Z and Formal Specification

Assignemt for 2003-2004

Past Exam Papers

Software Engineering

• chap 1:    Introduction
• chap 3:    Software Process Models
• chap 5:    Software Requirements
• Discussion on Z:  Software Specification using Z 
• chap 7:    System Models
• Design Principles
• Process Maturity & CMM
  • chap 2 from Pressman:  Process and CMM
  • comparison of CMM and ISO
    
  • chap 25:   Process Improvement
    
• Design Patterns
  • More on OO Concepts
  • Composite
  • Adapter
  • Iterator

   

UML

UML Distilled, main points from chapters:

• ch02 - Outline of a development process
• ch03 - Use cases
• ch04 - Class diagrams
• ch05 - Interaction Diagrams
  
• ch06 - Advanced Class Diagrams
• ch07

ATM Example from Use Case Driven Development Chapter

UML Tutorials and Exercises

Computer Science 4 example - RUP approach 

• Java Code
• Exercisees
• Rose Model for exercises

 

Java Programs and Exercises

• Getting  Started

• Objects and Classses: programs (in zip file), programs and how to compile and run in word doc,  exercises, solutions

• Inheritance:  programs, exercises

• Interfaces and Abstract Classes:  programs

• Simple Exception Handling

• Introduction to GUI programming, AWT and Swing: 

• programs in word doc
• programs zipped
• awt and swing class diagrams
• exercises

• Concurrency and Multithreading in Java, programs

• Java Collection Framework
  

Z and Formal Specification

• extensive handout from text by Anthony Diller and another text
  • Phone Database Example
  • Library Example
• aircraft boarding example
• Stock Warehouse Example - functions

Past Exam Papers

• Summer 2002
• Supplemental 2002