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 | Software Engineering Elective Courses |
| Course Level | Natural & Applied Sciences Master's Degree |
| 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. 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;
|
| 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 | 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 | Gains the ability to apply advanced computing and/or information knowledge in solving software engineering problems. | X | ||||
| 2 | Develops solutions using different technologies, software architectures and life-cycle approaches. | X | ||||
| 3 | Gains the ability to design, implement, and evaluate a software system, component, process, or program using modern techniques and engineering tools for software engineering practices. | X | ||||
| 4 | Gains ability to gather/acquire, analyze, interpret data and make decisions to understand software requirements. | |||||
| 5 | Gains skills of effective oral and written communication and critical thinking about a wide range of issues arising in the context of working constructively on software projects. | X | ||||
| 6 | Gains the ability to access information to follow current developments in science and technology, conducts scientific research in the field of software engineering, and conducts a project. | X | ||||
| 7 | Acquires an understanding of professional, legal, ethical and social issues and responsibilities related to Software Engineering. | |||||
| 8 | Acquires project and risk management skills and gains awareness of the importance of entrepreneurship, innovation, and sustainable development, as well as international standards and methodologies. | X | ||||
| 9 | Understands the impact of Software Engineering solutions in a global, environmental, societal and legal context while making decisions. | |||||
| 10 | Gains awareness of the development, adoption, and ongoing support for the use of excellence standards in software engineering practices. | 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 | 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 | ||