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 Lecturer(s) |
|
| 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;
|
| 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 subjects specific to the computer engineering discipline; the ability to apply theoretical and practical knowledge of these areas to complex engineering problems. | X | ||||
| 2 | The ability to identify, define, formulate and solve complex engineering problems; selecting and applying proper analysis and modeling techniques for this purpose. | X | ||||
| 3 | The ability to design a complex system, process, device or product under realistic constraints and conditions to meet specific requirements; the ability to apply modern design methods for this purpose. | X | ||||
| 4 | The ability to develop, select and utilize modern techniques and tools essential for the analysis and determination of complex problems in computer engineering applications; the ability to utilize information technologies effectively. | X | ||||
| 5 | The ability to design experiments, conduct experiments, gather data, analyze and interpret results for the investigation of complex engineering problems or research topics specific to the computer engineering discipline. | X | ||||
| 6 | The ability to work effectively in inter/inner disciplinary teams; ability to work individually | X | ||||
| 7 | Effective oral and writen communication skills in Turkish; the ability to write effective reports and comprehend written reports, to prepare design and production reports, to make effective presentations, to give and to receive clear and understandable instructions. | |||||
| 8 | The knowledge of at least one foreign language; the ability to write effective reports and comprehend written reports, to prepare design and production reports, to make effective presentations, to give and to receive clear and understandable instructions. | |||||
| 9 | Recognition of the need for lifelong learning; the ability to access information, to follow recent developments in science and technology. | X | ||||
| 10 | The ability to behave according to ethical principles, awareness of professional and ethical responsibility; | X | ||||
| 11 | Knowledge of the standards utilized in software engineering applications | |||||
| 12 | Knowledge on business practices such as project management, risk management and change management; | X | ||||
| 13 | Awareness about entrepreneurship, innovation | |||||
| 14 | Knowledge on sustainable development | |||||
| 15 | Knowledge on the effects of computer engineering applications on the universal and social dimensions of health, environment and safety; | X | ||||
| 16 | Awareness of the legal consequences of engineering solutions | |||||
| 17 | An ability to describe, analyze and design digital computing and representation systems. | X | ||||
| 18 | An ability to use appropriate computer engineering concepts and programming languages in solving computing problems. | X | ||||
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 | ||