Trending: Anna University 8th Sem Results April 2014 May/June 2014 Time Table/ Internal Marks Calculate CGPA Online SSLC Results 2014 12th Result 2014

Test Footer 1

Tuesday, October 30, 2012

SE9215 FORMAL METHODS IN SOFTWARE ENGINEERING

Latest: TNEA 2014 Engineering Application Status, Counselling Date, Rank List
SYLLABUS | ANNA UNIVERSITY ME SOFTWARE ENGINEERING 1ST SEM SYLLABUS REGULATION 2009 2011 2012-2013 BELOW IS THE ANNA UNIVERSITY FIRST SEMESTER M.E SOFTWARE ENGINEERING DEPARTMENT SYLLABUS, TEXTBOOKS, REFERENCE BOOKS,EXAM PORTIONS,QUESTION BANK,PREVIOUS YEAR QUESTION PAPERS,MODEL QUESTION PAPERS, CLASS NOTES, IMPORTANT 2 MARKS, 8 MARKS, 16 MARKS TOPICS. IT IS APPLICABLE FOR ALL STUDENTS ADMITTED IN THE YEAR 2011 2012-2013 (ANNA UNIVERSITY CHENNAI,TRICHY,MADURAI, TIRUNELVELI,COIMBATORE), 2009 REGULATION OF ANNA UNIVERSITY CHENNAI AND STUDENTS ADMITTED IN ANNA UNIVERSITY CHENNAI DURING 2009

SE9215 FORMAL METHODS IN SOFTWARE ENGINEERING LT P C 3 0 0 3
UNIT I INTRODUCTION 8
Why Formal methods were developed – Problems in Natural Language Specifications,Formal Versus Informal Programming – Advantages of Formal Methods – Requirements of Formal System – Types – Prepositional Logic – Predicate Logic – Relationships and Functions.
UNIT II FORMAL SPECIFICATION STYLE 8
Model-Oriented – Specifications – Concurrency-Based Specifications –Example Specification Languages.
UNIT III VDM 10
Introduction to VDM – Basic Types – Quote Types – Compound Types – Optional Types – Functions – Operations – Additional Constructs – Modules.
UNIT IV THE Z NOTATION 10
The Interchange Language – User-Defined Identifiers – Data Types – Basic Types – Compound Types – Schemas – Additional Constructs.
UNIT V FORMAL SEMANTICS AND TOOLS 9
Operational Semantics – Denotational Semantics – Axiomatic Semantics Proof Editors – Proof Analyser – Symbolic Simulators –Translators – Test Generation Tools.
TOTAL: 45 PERIODS TEXT BOOK:
1. Andrew Harry, “ Formal Methods: Fact File VDM and Z”, John Wiley and Sons, 1996.

REFERENCE:
1. Jim Woodcock, Jim Davies, “Using Z Specification, Refinement and Proof”, Prentice
Hall International, 1996.

No comments:

Post a Comment

Any doubt ??? Just throw it Here...