Page 71 - PG-Handbook23-24-finale

WOC7014 Framework-Based Software Design and Development

Course Learning Outcomes
At the end of the course, students are able to:
1. Identify the basic principles of framework-based software design and development.
2. Design a framework-based software system.
3. Construct a framework-based innovative software project using associated programming language.

Synopsis of Course Content
This course introduces the design and development of software using framework. It includes
specification, implementation and configuration of an innovative software according to a specific
framework. Students will learn the framework’s programming language as well as the facilities provided
by the framework.

Evaluation and Weightage
Continuous Assessment : 60%
Final Examination : 40%

WOC7015 Software Verification and Validation

Course Learning Outcomes
At the end of the course, students are able to:
1. Discuss the concepts, principles, and techniques of software verification and validation.
2. Design test through appropriate evaluation of chosen techniques from requirements and
specifications, design artefacts, or the source code.
3. Calculate small program code behaviours for checking valid path
4. Analyse software system behaviours statically through model checking and probabilistic properties
of program codes

Synopsis of Course Content
This course introduces the students the concepts, principles, techniques, and tools of software
verification and validation within modern software development together with its formal techniques. The
course covers from test design and test plan in test driven development of agile to conduct tests using
tools. The course also exposes the students the formal approach of static analysis and model checking
in verifying uncertainty in software design models and requirements.

Evaluation and Weightage
Continuous Assessment : 50%
Final Examination : 50%