ECTS - Formal Methods in Software Engineering

Formal Methods in Software Engineering (SE462) Course Detail

Course Name Course Code Season Lecture Hours Application Hours Lab Hours Credit ECTS
Formal Methods in Software Engineering SE462 Area Elective 3 0 0 3 5
Pre-requisite Course(s)
N/A
Course Language English
Course Type Elective Courses
Course Level Bachelor’s Degree (First Cycle)
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. It also stresses the fundamental mathematical and engineering principles that should form the basis of software engineering. 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 methods, fundamental aspect of formal specifications, 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 cyc

Weekly Subjects and Releated Preparation Studies

Week Subjects Preparation
1 Fundamentals of formal specification Overview
2 Arithmetic, Logic Chapter 1 and 2, (main text)
3 Algebra, Diagram Chapter 3 and 4
4 UML, OCL Chapter 5 and 6
5 Z Chapter 7
6 Logic Chapter 8
7 Object Z Other notes (1)
8 Object Z Other notes (1)
9 Object Z Other notes (1)
10 Implementation Chapter 11
11 State transition Chapter 12
12 Planin text, Natural language Chapter 13 and 14
13 Digital geometry, Building dungeons Chapter 15 and 16 (main text 1)
14 Multiple threads, security Chapter 17 and 18 (main text 1)
15 Final Examination Period Review of topics
16 Final Examination Period Review of topics

Sources

Course Book 1. Bruce Mills, Practical Formal Software Engineering: Wanting the Software You Get, Cambridge University Press (2009) ISBN-13: 9780521879033
Other Sources 2. Roger Duke, Gordon Rose, Formal Object Oriented Specification Using Object-Z, Cornerstones of Computing Palgrave Macmillan 2000, 9780333801239 – 0333801237
3. Ben Potter, Jane Sinclair, David Till, Introduction Formal Specification and Z, 2/E, Prentice-Hall (1996) ISBN-10: 0132422077, ISBN-13: 9780132422079
4. J. Woodcock and J. Davies, Using Z: Specification, Refinement, and Proof, Prentice-Hall In-ternational, 1996
5. Smith, Graeme, The Object-Z Specification Language Series: Advances in Formal Methods, Vol. 1, 1999, ISBN: 978-0-7923-8684-1
6. Antoni Diller, Z: An Introduction to Formal Methods, 2nd Edition, Jhon Wiley (1994), ISBN: 978-0-471-93973-3
7. “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 20
Final Exam/Final Jury 1 35
Toplam 9 80
Percentage of Semester Work 65
Percentage of Final Work 35
Total 100

Course Category

Core Courses X
Major Area Courses
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 Adequate knowledge in mathematics, science and computing fields; ability to apply theoretical and practical knowledge of these fields in solving engineering problems related to information systems.
2 Ability to identify, define, formulate and solve complex engineering problems; selecting and applying proper analysis and modeling techniques for this purpose.
3 Ability to design a complex system, process, device or product under realistic constraints and conditions to meet specific requirements; ability to apply modern design methods for this purpose.
4 Ability to develop, select and use modern techniques and tools necessary for the analysis and solution of complex problems encountered in information systems engineering applications; ability to use information technologies effectively. X
5 Ability to gather data, analyze and interpret results for the investigation of complex engineering problems or research topics specific to the information systems discipline.
6 Ability to work effectively in inter/inner disciplinary teams; ability to work individually.
7 a. Effective oral and written communication skills in Turkish; ability to write effective reports and comprehend written reports, to prepare design and production reports, to make effective presentations, to give and receive clear and understandable instructions. b. Knowledge of at least one foreign language; ability to write effective reports and comprehend written reports, to prepare design and production reports, to make effective presentations, to give and receive clear and understandable instructions.
8 Recognition of the need for lifelong learning; the ability to access information and follow recent developments in science and technology with continuous self-development.
9 a. Ability to behave according to ethical principles, awareness of professional and ethical responsibility. b. Knowledge of the standards utilized in information systems engineering applications.
10 a. Knowledge on business practices such as project management, risk management and change management. b. Awareness about entrepreneurship, and innovation. c. Knowledge on sustainable development.
11 a. Knowledge of the effects of information systems engineering applications on the universal and social dimensions of health, environment, and safety. b. Awareness of the legal consequences of engineering solutions.

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 2 32
Presentation/Seminar Prepration
Project
Report
Homework Assignments 5 4 20
Quizzes/Studio Critics
Prepration of Midterm Exams/Midterm Jury 2 7 14
Prepration of Final Exams/Final Jury 1 15 15
Total Workload 129