Theory and methodology of informatics engineering

Study programs

Teaching information

Teachers

vedúci záverečnej práce

Schedule

Learning outcomes

Acquiring knowledge from the theory and on methodology of informatics engineering and to exercise self-contained working with scientific information sources. The subject structure will be negotiated individually with respect to scientific domain to be explored.

Course outline

- Formal methods of the design and analysis of systems - Validation and verification of systems: model checking - Formal specification of programming languages and of programming languages systems; transformation and verification of programs. - Metalanguage systems.Profiling and verification of systems. Principles and methods of program systems implementation, optimization of implementation. - Safety and reliability of systems. - Programming paradigmas, semantics of programming languages , program derivation. - Theoretical principles and methods of user interface design. - Advanced data structures.

Completion conditions

Assessment and completion of the course: Credit test Continuous assessment: elaborating and presentation of an essay on the subject chosen Final assessment: Student passes the final assessment and passes the examination when he or she meets the requirement to obtain at least 1u out of 1u. elaborating of a final seminar work Overall assessment: Overall assessment is the sum of the assessments obtained by students in the assessment period. The overall result is determined in accordance with the internal regulations of the Technical University in Košice. (Study Regulations, the internal regulation principles of doctoral studies)

Recommended literature

Základná literatúra sa odporučí doktorandovi podľa skúmanej vednej oblasti a témy dizertačnej práce. Hlavným zdrojom informácií budú publikácie, časopisecké články a príspevky prednesené z vybranej oblasti na významných vedeckých fórach.

Notes

The subject is completed individually, usually under the guidance of a supervisor.Planned learning activities: consultations, laboratory work, project workFull-time study: direct contact (10 hours/week): 130 hours, indirect contact: 370 hours, total number: 500 hoursPart-time study: direct contact (130 hours/semester): 130 hours, indirect contact: 370 hours, total number: 500 hours