University of Port Harcourt

PMB 5323

Port Harcourt

School of Graduate Studies

Course Code: CSC 613.2                                              Software Methodology

 Course Continuous Assignment 2

Date:                      Monday 26 Nov 2007

 Question 1

What is correctness checking?                                                                                              (9 marks)

 Discuss the following terminologies as guidelines to correctness checking:

i.                     Normalization                                                           (4 marks)

ii.                    Process Dependency                                             (4 marks)

iii.                  Quantity Cross checking                                      (4 marks)

iv.                  Structured walkthroughs                                       (4 marks)

 Question 2

Give a full description of either :

i.                     The linear sequential model

ii.                   The Prototyping model or

iii.                  The Rapid Application development model

as software lifecycle models.                                                                  (20 marks)

What is the major difference between these models and the Component Assembly model?

                                                                                                                                     (5 marks)