Understanding of query optimization in relational database systems. Ability to transform users’ statements into software specifications and models. Awareness of strengths and weaknesses of certain software specification and development methodologies. Identification, selection, evaluation and application of development methods and techniques, software tools, software components and software packages.

1. match theoretical foundations of formal design methods with practical procedures
2. analyze and classify results obtained by the application of tools for formal system
3. identify key elements for query plan optimization in relation database systems
4. analyze query plans in relational database systems
5. identify software tool, component or package required to develop particular information system
6. analyze and evaluate selected software tool, software component or software package

Lectures are conducted in two cycles. The first cycle contains 7 weeks of lectures followed by the second cycle of 6 weeks, with teaching load of 1 hour per week.

Laboratory exercises are carried out in the weeks of lectures, 2 hours per week.

Consultations have been organized in all weeks except weeks of exam.

Each student processes one topic per domain of databases, formal methods and the development of information systems.

1. Installation of operation system and relational database system as a query optimization testing environment
2. Query optimization experiments
3. Query optimization experiments
4. Query optimization experiments
5. Hardware verification (e.g. multiple request arbiter)
6. Formal verification of critical operating systems synchronization and communication protocols.
7. Formal verification of communication protocols in distributed systems.
8. Mid-term exam
9. Software architecture evaluation
10. Software capability evaluation
11. Review of software life cycle processes
12. Software acquisition criteria
13. Software productivity metrics
14. Practice for the evaluation and selection of CASE Tools
15. Final exam