| Course title | Software Engineering |
|---|---|
| Course code | KI/ESWI |
| Organizational form of instruction | Lesson |
| Level of course | Bachelor |
| Year of study | not specified |
| Semester | Summer |
| Number of ECTS credits | 5 |
| Language of instruction | English |
| Status of course | unspecified |
| Form of instruction | Face-to-face |
| Work placements | This is not an internship |
| Recommended optional programme components | None |
| Course availability | The course is available to visiting students |
| Lecturer(s) |
|---|
|
| Course content |
|
1. Basics of SW engineering 2. Software processes 3. SW verification 4. SW validation 5. SW reliability 6. Models of SW reliability 7. Diagnosis of SW 8. Architectures of fault-tolerant SW 9. Distributed systems 10. Diagnosis model of a SW system. Comparators and consistent set of units 11. Concurrency (competition and cooperation) 12. Coordinated atomic actions 13. Formal methods for developing a reliable SW
|
| Learning activities and teaching methods |
| unspecified |
| Learning outcomes |
|
The course focuses on the basics of software engineering. More attention is given to the problem of developing of reliable and fault-tolerant software systems. Modern formal methods for developing reliable SW are considered with the examples.
|
| Prerequisites |
|
unspecified
|
| Assessment methods and criteria |
|
unspecified
oral |
| Recommended literature |
|
|
| Study plans that include the course |
| Faculty | Study plan (Version) | Category of Branch/Specialization | Recommended semester |
|---|