'Algebraic Specification Methods' Video Lecture

Algebraic Specification Methods

Discipline: Computer Science and Engineering

Faculty: Prof. N.L. Sarda, Prof. Umesh Bellur, Prof. Rushikesh K Joshi

Institute: IIT Bombay

Algebraic Specification Methods - Click on the Video Link shown below to play the video on Youtube. Browse through Software Engineering (Computer Science and Engineering) Video Lectures by Prof. N.L. Sarda, Prof. Umesh Bellur, Prof. Rushikesh K Joshi from IIT Bombay through NPTEL.

NEXT LECTURE >> Systems Modeling Overview

Download this video in MP4, FLV & 3GP formats

Format	Size	Download
MP4	263 MB	MP4 Video Download Link 1
MP4	263 MB	MP4 Video Download Link 2
FLV	125 MB	FLV Video Download Link 1
FLV	125 MB	FLV Video Download Link 2
3gp	62 MB	3gp Video Download Link 1
3gp	62 MB	3gp Video Download Link 2

Search Courses by Discipline & Institute

Search Courses

Course Video Lectures Introduction to Software Engineering-Challeng.. Introduction to Software Engineering Overview of Phases Overview of Phases Requirements Engineering / Specification Formal Specification Algebraic Specification Methods Systems Modeling Overview Process Modeling - DFD , Function Decomp Process Modeling - DFD, Function Decomp Data Modeling - ER Diagrams, Mapping Data Modeling - ER Diagrams, Mapping Production Quality Software - Introduction Software Design - Primary Consideration Design Patterns Class and Component Level Design Architectural Design Software Testing - I Software Testing - II Structural Programming and Some implementatio.. Software Metrics and Quality Verification and Validation Case Study Case Study Software Evolution Agile Development Software Reuse CBSE Reuse Continued Introduction to Project Management Project Scope Management Project Time Management Estimation - I Estimation - II Project Quality Management Quality Management Systems - I Quality Management Systems Project Configuration Management Project Risk Management Other PM Processes