Software Technology

Semestr: Summer

Range: 14+4c


Credits: 4

Programme type: Undefined

Study form: Parttime

Course language:


Course is dedicated to selected software technologies. Comparative study of theoretical principles and real technologies.


software technology

Course syllabus:

1. Software technologies - overview, categories, description
2. Selected software technologies - XML I.
3. Selected software technologies - XML II.
4. Selected software technologies - XML III.
5. Selected software technologies - XPath
6. Selected software technologies - XSLT
7. Selected software technologies - XQuery
8. Selected software technologies - XML databases
9. Selected software technologies - Web services
10. Selected software technologies - scripting languages and PHP
11. Installators
12. Verification of system behaviour (Model-checker SPIN Java PathFinder - JPF, PREfast etc.)
13. Verification of system behaviour - mathematical structures for modeling of behaviour, specification languages and related software technologies
14. Verification of system behaviour - software technologies for code analysis (source code and byte-code)

Seminar syllabus:

1. Project specifications
2. Project specifications
3. Consultations to projects
4. Consultations to projects
5. Consultations to projects
6. Presentation of the proposed solution
7. Consultations to projects
8. Consultations to projects
9. Presentation of partial solution
10. Consultations to projects
11. Consultations to projects
12. Presentation of projects
13. Presentation of projects
14. Crediting


1. Kosek, J: XML pro pokročilé.
2. RMI Specification, Sun,
3. JavaSpaces Specification, Sun,
4. WebServices SOAP/WSDL/UDDI, Oasis,