Course Name Code Semester T+U Hours Credit ECTS
Formal Methods In Software Engineering SWE 302 6 3 + 0 3 5
Precondition Courses
Recommended Optional Courses
Course Language English
Course Level Bachelor's Degree
Course Type Compulsory
Course Coordinator Doç.Dr. DEVRİM AKGÜN
Course Lecturers
Course Assistants
Course Category Field Proper Education
Course Objective

To introduce advanced techniques and technology that reflects software engineering and current technology. To gain knowledge of formal and informal software development. To focus on the early phase of the software development cycle.

Course Content

Software specification. Formal method. Formal specification. The Z notation. Schema calculus. Generic constructions. Formal software development. Refinement and verification. Tools and case studies. Rigorous software development. Semi-formal specification languages. Cleanroom software engineering. Test generation from specification. Selected topics in current software engineering issues.

# Course Learning Outcomes Teaching Methods Assessment Methods
1 describe the characteristics and tradeoffs between different formal and informal methods of software development Lecture, Question-Answer, Drilland Practice, Testing, Homework, Project / Design,
2 specify software using a formal specification language Lecture, Question-Answer, Drilland Practice, Testing, Homework, Project / Design,
3 develop high quality software requirement specifications using informal or semi-formal notation Lecture, Question-Answer, Drilland Practice, Testing, Homework, Project / Design,
4 appreciate the use of formal and rigorous techniques in program refinement and verification Lecture, Question-Answer, Drilland Practice, Testing, Homework, Project / Design,
Week Course Topics Preliminary Preparation
1 Software specification Weekly presentations
2 Formal method. Formal specification Weekly presentations
3 The Z notation. Schema calculus. Weekly presentations
4 Generic constructions Weekly presentations
5 Formal software development. Weekly presentations
6 Refinement and verification Weekly presentations
7 Tools and case studies. Weekly presentations
8 Rigorous software development. Weekly presentations
9 Semi-formal specification languages Weekly presentations
10 Cleanroom software engineering Weekly presentations
11 Test generation from specification Weekly presentations
12 Test generation from specification Weekly presentations
13 Selected topics in current software engineering issues. Weekly presentations
14 Selected topics in current software engineering issues. Weekly presentations
Course Notes <p>Weekly presentations</p>
Course Resources

Daniel Jackson, Software Abstractions,MIT Press, 2006

Formal Methods for Real-Time Computing,,Edited by Heitmeyer, C. and Mandrioli, Wiley, 1996

Order Program Outcomes Level of Contribution
1 2 3 4 5
1 To have sufficient foundations on engineering subjects such as science and discrete mathematics, probability/statistics; an ability to use theoretical and applied knowledge of these subjects together for engineering solutions.
2 An ability to determine, describe, formulate and solve engineering problems; for this purpose, an ability to select and apply proper analytic and modeling methods,al background in describing, formulating, modeling and analyzing the engineering problem, with a consideration for appropriate analytical solutions in all necessary situations.
3 An ability to select and use modern techniques and tools for engineering applications; an ability to use information technologies efficiently.
4 An ability to analyze a system, a component or a process and design a system under real limits to meet desired needs; in this direction, an ability to apply modern design methods.
5 An ability to design, conduct experiment, collect data, analyze and comment on the results and consciousness of becoming a volunteer on research.
6 Understanding, awareness of administration, control, development and security/reliability issues about information technologies.
7 An ability to work efficiently in multidisciplinary teams, self confidence to take responsibility.
8 An ability to present himself/herself or a problem with oral/written techniques and have efficient communication skills; know at least one extra language.
9 An awareness about importance of lifelong learning; an ability to update his/her knowledge continuously by means of following advances in science and technology.
10 Understanding, practicing of professional and ethical responsibilities, an ability to disseminate this responsibility on society.
11 An understanding of project management, workplace applications, health issues of laborers, environment and job safety; an awareness about legal consequences of engineering applications.
12 An understanding universal and local effects of engineering solutions; awareness of entrepreneurial and innovation and to have knowledge about contemporary problems.
Evaluation System
Semester Studies Contribution Rate
1. Ara Sınav 70
1. Kısa Sınav 10
1. Ödev 10
1. Proje / Tasarım 10
Total 100
1. Final 50
1. Yıl İçinin Başarıya 50
Total 100
ECTS - Workload Activity Quantity Time (Hours) Total Workload (Hours)
Course Duration (Including the exam week: 16x Total course hours) 16 3 48
Hours for off-the-classroom study (Pre-study, practice) 16 2 32
Mid-terms 1 10 10
Quiz 1 5 5
Assignment 1 5 5
Project / Design 1 10 10
Final examination 1 15 15
Total Workload 125
Total Workload / 25 (Hours) 5
dersAKTSKredisi 5