Computer Sc - Software Engineering
Lecture Series on Software Engineering by Prof.N.L. Sarda, Prof. Umesh Bellur, Department of Computer Science & Engineering ,IIT Bo

Lecture - 1 Introduction to Software Engineering

Lecture - 2 Introduction to Software Engineering

Lecture - 3 Overview of Phases

Lecture - 4 Overview of Phases

Lecture -5 Requirements Engineering / Specification

Lecture - 6 Formal Specification

Lecture - 7 Algebraic Specification Methods

Lecture - 8 Systems Modelling Overview

lecture - 9 Process Modelling - DFD , Function Decomp

Lecture - 10 Process Modelling - DFD, Function Decomp

Lecture - 11 Data Modelling - ER Diagrams, Mapping

Lecture - 12 Data Modelling - ER Diagrams, Mapping

Lecture -13 Production Quality Software - Introduction


Lecture - 14 Software Design - Primary Consideration

Lecture - 15 Design Patterns

Lecture - 16 Class and Component Level Design

Lecture - 17 Architechural Design

Lecture - 18 Software Testing - I

Lecture - 19 Software Testing - II

Lecture - 20 Structural Programming and Some implementation

Lecture - 21 Software Metrics and Quality

Lecture - 22 Verification and Validation

Lecture - 23 Case Study

Lecture - 24 Case Study

Lecture - 25 Software Evolution

Lecture - 26 Agile Development

Lecture - 27 Software Reuse

Lecture - 28 Reuse Continued

Lecture - 29 Introduction to Project Management

Lecture - 30 Project Scope Management

Lecture - 31 Project Time Managemen

Lecture - 32 Estimation - I

Lecture - 33 Estimation - II

Lecture - 34 Project Quality Management

Lecture - 35 Quality Management Systems - I

Lecture - 36 Quality Management Systems

Lecture - 37 Project Configuration Management

Lecture - 38 Project Risk Management

Lecture - 39 Other PM Processes

\\\\\\\\\\\\\\\\\\\\\\
Computer Sc - Discrete Mathematical Structures
Lectures by Prof. Kamala Krithivasan, Department of Computer Science and Engineering, IIT Madras
\\\\\\\\\\\\\\\\\\\\\\\\
Lecture 1 - Propositional Logic

Lecture 2 - Propositional Logic (Contd.)

Lecture 3 - Predicates & Quantifiers

Lecture 4 - Predicates & Quantifiers (Contd.)

Lecture 5 -Logical Inference

Lecture 6 -Resolution Principles & Application to PROLOG

Lecture 7 - Methods of Proof

Lecture 8 - Normal Forms

Lecture 9 - Proving programs correct

Lecture 10 - Sets

Lecture 11 - Induction


Lecture 12 - Set Operations on Strings Over an Alphabet

Lecture 13 - Relations

Lecture 14- Graphs

Lecture 15 - Graphs (Contd.)

Lecture 16 - Trees

Lecture 17 - Trees and Graphs

Lecture 18 - Special Properties of Relations

Lecture -19 - Closure of Relations

Lecture 20 - Closure of Relations (Contd.)

Lecture 21 - Order Relations

Lecture 22 - Order and Relations and Equivalence Relations

Lecture 23 - Equivalence relations and partitions

Lecture 24 - Functions

Lecture 25 - Functions (Contd.)

Lectures 26 - Functions (Contd.)

Lecture 27-Pigeonhole Principle


Lecture 28 - Permutations and combinations

Lecture 29 - Permutations and Combinations(Contd...)

Lecture 30 - Generating Functions

Lecture 31- Generating Functions

Lecture 32 - Recurrence Relations

Lecture 33 - Recurrence Relations

Lecture 34-Recurrence Relations(contd..)

Lecture 35-Algebras

Lecture 36-Algebras(contd...)

Lecture 37-Algebras(contd...)

Lecture 38-Finite State Automaton

Lecture 39-Finite State Automaton(contd....)

Lecture 40-Lattices