Laboratory of Software Engineering and Information Systems 2

Data is displayed for academic year: 2023./2024.

Laboratory exercises

Course Description

The laboratory assignments grouped in 3 areas, designed to complement the material covered in lectures. Database systems: testing of query optimizers in relational database systems. Formal Methods in System Design: exercise in applicability of mathematical formulation of software specifications for information systems. Development of Information Systems: preparation of specifications based on interviews, data and process modelling, selection, evaluation and application of development methods and techniques, software tools, software components and software packages.

Study Programmes

University graduate
[FER2-HR] Software Engineering and Information Systems - profile
(2. semester)

General Competencies

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.

Learning Outcomes

  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

Forms of Teaching


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 Work

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.

Grading Method

Continuous Assessment Exam
Type Threshold Percent of Grade Threshold Percent of Grade
Laboratory Exercises 0 % 60 % 0 % 60 %
Seminar/Project 0 % 30 % 0 % 30 %
Mid Term Exam: Written 0 % 5 % 0 %
Final Exam: Written 0 % 5 %
Exam: Written 0 % 10 %

Week by Week Schedule

  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


(.), Lecture notes and recommended literature for the courses. Lecturers FER 2006,
M. Huth, M. Ryan (2004.), Logic in Computer Science, Cambridge University Press
H. Garcia-Molina, J. D. Ullman, J. D. Widom (1999.), Database Systems Implementation, Prentice Hall
Preston D. Cameron (2002.), The Software Selection Questionnaire, Phoenix Publishing Group
Marianne Bradford (2010.), Modern ERP: Select, Implement & Use Today's Advanced Business Systems,

For students


ID 35239
  Summer semester
L1 English Level
L1 e-Learning
15 Lectures
0 Seminar
0 Exercises
30 Laboratory exercises
0 Project laboratory

Grading System

87.5 Excellent
75 Very Good
62.5 Good
50 Sufficient