| Lecture No : Date |
Title & Link to notes |
Description |
| 1 : Jan 21, 2019 |
Introduction |
(Pages 1-2) |
| 2 : Jan 22, 2019 |
Software Development Life Cycle |
(Page 3) |
| 3 : Jan 24, 2019 |
Software Process Models |
|
| 4 : Jan 24, 2019 |
Model Verification using Promela and SPIN |
Lab |
| 5 : Jan 28, 2019 |
Software Quality(SQ) and Parameters defining SQ |
|
| 6 : Jan 29, 2019 |
SQ Problems and Software Process Models - Agile vs Structured |
|
| 7 : Jan 31, 2019 |
Specifications - FSM and CFSM |
|
| 8 : Feb 04, 2019 |
Software Process Model Prescription |
|
| 9 : Feb 06, 2019 |
Requirements Extraction, Data Flow Diagram |
|
| 10 : Feb 07, 2019 |
Theory of Specifications, Uses, Properties and Types |
Class Test on Prescribing Models and Quiz 1 |
| Minor 1 : Feb 09, 2019 |
Minor 1 Exam Paper |
|
| 11 : Feb 18, 2019 |
Promela Constructs |
|
| 12 : Feb 19, 2019 |
Mutual exclusion and Semaphore Analysis, Channels in Promela |
|
| 13 : Feb 25, 2019 |
Petrinets |
|
| 14 : Feb 26, 2019 |
Applications of Petrinets |
|
| 15 : Feb 28, 2019 |
Barber Shop Problem, Message Triplication Problem |
|
| 16 : Mar 05, 2019 |
Elevator Controller Problem |
|
| 17 : Mar 07, 2019 |
Decision Tables |
|
| 18 : Mar 12, 2019 |
Data Flow Diagrams - Limitations and Extensions |
|
| Minor 2 : Mar 15, 2019 |
Minor 2 Exam Paper |
|
| 19 : Mar 28, 2019 |
Specification Types and UML Diagrams |
|
| 20 : Apr 01, 2019 |
Class, Activity and Object Diagrams |
|
| 21 : Apr 04, 2019 |
Testing: Verification and Validation, Code Coverage |
|
| 22 : Apr 09, 2019 |
White box Testing |
|
| 23 : Apr 15, 2019 |
Formal Specifications using Z |
|
| 24 : Apr 23, 2019 |
Logic Specifications using First Order Logic |
|
| 25 : Apr 25, 2019 |
Algebraic Specifications using Illustrations |
|
| Major : Apr 28, 2019 |
Major Exam Paper |
|