Download Software Development and Computer Networking Exam (KDNET_8_Y4) and more Exams Software Engineering in PDF only on Docsity! Cork Institute of Technology Bachelor of Science (Honours) in Software Development and Computer Networking - Award (KDNET_8_Y4) Autumn 2008 Software Engineering (Time: 2 Hours) Instructions Answer FOUR questions. Examiners: Mr. J. O’Brien Dr. J. Buckley Dr. A. Kinsella Q1. (a) Write a brief note on each of the following identified deficiencies of non-formal software development approaches: (i) Contradiction; (ii) Ambiguity; (iii) Vagueness; (iv) Incomplete statements; (v) Mixed-levels of abstraction. [5 Marks] (b) (i) Given R = { (p, 2), (q, 3), (r, 4) } S = { (1, x), (2, y), (3, z) } Determine: 1. R-1 2. R;S 3. R;R-1 4. S-1;R-1 5. (R;S) -1 [5 Marks] (ii) Given s = < i, n, s > t = < t, I, t, u, t, e > Compute: 1. front(s) 2. rev(rev(s)) 3. rev(t) rev(s) [3 Marks] (c) A library has a stock of books that may be taken out by its registered members. Only books that are in the library’s stock can be recorded as out to a member. Only registered members may take out books. Initially, the library has no stock of books, and no members; no books are recorded as out to members. Consider the following partial specification: [BOOK] set of all possible uniquely identified books [PERSON] set of all possible persons ___ Library ___________________________ | stock : BOOK | members : PERSON | outTo : BOOK PERSON |______________________________________ | dom outTo ⊆ stock | ran outTo ⊆ members |___________________________________________ ____ Init _______________________ | Library’ |______________________________ | stock’ = {} | members’ = {} | outTo’ = {} |______________________________ (i) Write a Z schema, called Acquire_Book, for an operation to add a book to the library’s stock. The book must not already belong to the library’s stock. The members remain unchanged. (ii) Write a Z schema, called Take_Book_Out, for an operation to allow a person take a book out. The person must be a member. The book must be part of the library’s stock and must not be out to anyone. The book becomes recorded as out to the member. The members and stock remain unchanged. (iii) Write a Z schema, calledDispose_of_Book, for an operation to remove a book from the library’s stock. The book must belong to the library and not be out to a member. The members and the record of what books are out are left unchanged. [12 Marks] Q2. (a) What is the cleanroom reference model? What is it used for? [4 Marks] (b) Reviews are a crucial part of cleanroom team operations. Every work-product is the subject of repeated team reviews as it is developed from initial concept to final form. Two types of reviews are used, namely: (i) Development review; (ii) Verification review. Describe each of the above-identified review activities. [6 Marks] (c) Cleanroom software engineering is characterised by three principal technologies, namely: (i) Incremental development under statistical process control; (ii) Function-based specification, design, and verification; (iii) Statistical testing and software certification. Elaborate on each of the above-named technologies. [15 Marks]