Software Engineering I

Topic

PPT

Software Engineering

SE_L1.ppt

Software Processess

SE_L2&L3.ppt

Software Requirements

SE_L4&L5.ppt

System Models

SE_L6&L7.ppt

Modeling based on Petri-nets

SE_L8.ppt

Formal Specifications

SE_L8&L9.ppt

Introducing ASML (Steps and Updates )

SE_L9.ppt

Introducing ASML ( Methods, Values, Constraints, Constants, Variables )

SE_L10.ppt

Introducing ASML (Classes Structured Values, Sets, Sequences )

SE_L11.ppt

Introducing ASML(Sequences,Parallel evaluation,Maps,Non-determinism)

SE_L12.ppt

Introducing ASML (Enumerations,(Conditionals and Loops, Quantifiers )

SE_L13.ppt

Formal Specification using ASML

SE_L14.ppt

Concurrency, Dining Philosophers

SE_L15.ppt

Design and design methodology

SE_L14L15.ppt

Architectural Design, Distributed Systems Architectures

SE_L16L17.ppt

Object Oriented Design

SE_L18L19.ppt

Introductory case study

SE_L20.ppt

Essentials of class models

SE_L21.ppt

MORE ON CLASS MODELS

SE_L22.ppt

Essentials of interaction diagrams

SE_L23.ppt

Essentials of state and activity diagram

SE_L24.ppt

Verification and Validation

SE_L25L26.ppt

Software Testing

SE_L28L29.ppt

Protocol Engineering

SE_L30.ppt

Project Management

SE_L30Manag.ppt

Protocol Verification using Reachability Analysis

SE_L31.ppt

Software Cost Estimation

SE_L31_SE.ppt

No comments: