2024/5, Trimester 2, In Person,
VIEW FULL DETAILS
Occurrence: | 001 |
Primary mode of delivery: | In Person |
Location of delivery: | MERCHISTON |
Partner: | |
Member of staff responsible for delivering module: | Peter Chapman |
Module Organiser: | |
Student Activity (Notional Equivalent Study Hours (NESH)) |
Mode of activity | Learning & Teaching Activity | NESH (Study Hours) | NESH Description |
Face To Face | Lecture | 20 | The lectures consist of a series of worked examples, based on pre-recorded material. They are interactive, are recorded, and the notes and video made available after the event. |
Face To Face | Practical classes and workshops | 20 | The practicals will give you hand-on experience with the tools and techniques you have studied in the lectures. Feedback will be given on your studies during these sessions. |
Online | Guided independent study | 160 | You will be given readings and other materials to ensure you have command and mastery of the module content. |
| Total Study Hours | 200 | |
| Expected Total Study Hours for Module | 200 | |
Assessment |
Type of Assessment | Weighting % | LOs covered | Week due | Length in Hours/Words | Description |
Class Test | 25 | 2~3 | Week 13 | HOURS= 1 Hour | In the class test, you will perform the foundational calculations which underpin formal methods. These include writing and evaluating formal proofs, and calculations arising from the logics presented in the module. You will thus be able to assess the advantages (correctness) and disadvantages (difficulty) of the formal software development process.The weekly exercise sheets will help prepare you for the test, and you can receive formative feedback on your work throughout the semester. |
Practical Skills Assessment | 75 | 1~2~4~5 | Exam Period | HOURS= 40 Hours | In this coursework, you will design and develop a software system for a safety-critical system. You will show it is correct, alongside developing the documentation that is expected of such systems.During the development of your system, you will have the opportunity to receive feedback on your work. |
Component 1 subtotal: | 75 | | |
Component 2 subtotal: | 25 | | | | |
Module subtotal: | 100 | | | | |