ECTS - Formal Methods in Software Engineering

Formal Methods in Software Engineering (SE562) Course Detail

Course Name Course Code Season Lecture Hours Application Hours Lab Hours Credit ECTS
Formal Methods in Software Engineering SE562 Area Elective 3 0 0 3 5
Pre-requisite Course(s)
N/A
Course Language English
Course Type Elective Courses Taken From Other Departments
Course Level Natural & Applied Sciences Master's Degree
Mode of Delivery Face To Face
Learning and Teaching Strategies Lecture.
Course Coordinator
Course Lecturer(s)
Course Assistants
Course Objectives The objective of this course is to teach formal methods for software specification. With the help of fundamental mathematical and engineering principles, it intends to provide the means for greater precision in both thinking and documenting the preliminary stage of the software creation process. Besides, this course will integrate formal methods with software engineering practices.
Course Learning Outcomes The students who succeeded in this course;
  • Analyze, design and model specification text with mathematical meaning
  • Describe the underlying concepts with mathematical semantics
  • Describe abstract data types with formal specification techniques
  • Apply logic for systematic analysis necessary to solve practical problems
  • Apply formal methods safety/security/mission critical systems
  • Conduct formal proof techniques with different level of formality
  • Express validation and verification with formal specification
  • Realize the knowledge of the creation and verification of large software system
  • Examine important properties and detect design errors before system development begins
  • Define a precise and unambiguous description of state, process and timing properties of a software-intensive system
Course Content Introduction to formal specifications for software development; software specification and development with mathematical semantics; constructing formal specifications for software-intensive systems; specification languages, Z, object Z and OCL; relating specifications and implementations; role of formal specification in system life cycle; classific

Weekly Subjects and Releated Preparation Studies

Week Subjects Preparation
1 Fundamentals of formal specification Overview
2 Propositional, Predicate Logics and Sets Chapter 2,3,5, (other 1)
3 Arithmetic, Logic, Algebra, Diagram Chapter 1-4, (other 2)
4 OCL Chapter 6 (other 2)
5 Formal Specification and Z Other 3
6 Formal Specification and Z Other 3
7 Object Z Other 4
8 Object Z Other 4
9 Object Z Other 4
10 Logic Chapter 8 (other 2)
11 Implementation Chapter 11
12 State transition Chapter 12 (other 2)
13 Planin text, Natural language Chapter 13 - 14 (other 2)
14 Digital geometry, Building dungeons Chapter 15 - 16 (other 2)
15 Final Examination Period Review of topics
16 Final Examination Period Review of topics

Sources

Other Sources 1. J. Woodcock and J. Davies, Using Z: Specification, Refinement, and Proof, Prentice-Hall In-ternational, 1996
2. Bruce Mills, Practical Formal Software Engineering: Wanting the Software You Get, Cambridge University Press (2009) ISBN-13: 9780521879033
3. J.M. Spivey, “An introduction to Z and formal specifications”, Software Engineering Journal, pp40-50, January 1989
4. Roger Duke, Gordon Rose, Formal Object Oriented Specification Using Object-Z, Cornerstones of Computing Palgrave Macmillan 2000, 9780333801239 – 0333801237
5. Ben Potter, Jane Sinclair, David Till, Introduction Formal Specification and Z, 2/E, Prentice-Hall (1996) ISBN-10: 0132422077, ISBN-13: 9780132422079
6. Smith, Graeme, The Object-Z Specification Language Series: Advances in Formal Methods, Vol. 1, 1999, ISBN: 978-0-7923-8684-1
7. Antoni Diller, Z: An Introduction to Formal Methods, 2nd Edition, Jhon Wiley (1994), ISBN: 978-0-471-93973-3
8. “WWW Library of Formal Methods” (http://www.afm.sbu.ac.uk/)

Evaluation System

Requirements Number Percentage of Grade
Attendance/Participation 1 5
Laboratory - -
Application - -
Field Work - -
Special Course Internship - -
Quizzes/Studio Critics - -
Homework Assignments 5 20
Presentation - -
Project - -
Report - -
Seminar - -
Midterms Exams/Midterms Jury 2 40
Final Exam/Final Jury 1 35
Toplam 9 100
Percentage of Semester Work
Percentage of Final Work 100
Total 100

Course Category

Core Courses
Major Area Courses X
Supportive Courses
Media and Managment Skills Courses
Transferable Skill Courses

The Relation Between Course Learning Competencies and Program Qualifications

# Program Qualifications / Competencies Level of Contribution
1 2 3 4 5
1 To be able to use mathematics, science and engineering knowledge in solving engineering problems related to information systems. X
2 Design and conduct experiments in the field of informatics, analyze and interpret the results of experiments. X
3 Designs an information system, component and process according to the specified requirements. X
4 Can work effectively in disciplinary and multidisciplinary teams. X
5 Identify, formulate and solve engineering problems in the field of informatics.
6 Acts in accordance with professional ethical rules.
7 Communicates effectively both orally and in writing.
8 Gains awareness of the necessity of lifelong learning.
9 Learn about contemporary issues. X
10 To be able to use modern engineering tools, techniques and skills required for engineering practice. X
11 Knows project management methods and recognizes international standards. X
12 Develop informatics-related engineering products and prototypes for real-life problems. X
13 Contributes to professional knowledge.
14 Can do methodological scientific research.
15 Produce, report and present a scientific work based on an original or existing body of knowledge.
16 Can defend the original idea generated.

ECTS/Workload Table

Activities Number Duration (Hours) Total Workload
Course Hours (Including Exam Week: 16 x Total Hours) 16 3 48
Laboratory
Application
Special Course Internship
Field Work
Study Hours Out of Class 16 5 80
Presentation/Seminar Prepration
Project
Report
Homework Assignments 5 5 25
Quizzes/Studio Critics
Prepration of Midterm Exams/Midterm Jury 2 20 40
Prepration of Final Exams/Final Jury 1 30 30
Total Workload 223