| |
Software Technology (X36SWT)
course in Czech language
full-time study course, currently teaching
Number of teaching periods (lectures + seminars): 2+2
Termination: Credit, examination
time table at FEE
Summary:
| |
Course is dedicated to selected software technologies. Comparative study of theoretical principles and real technologies.
|
Course Syllabus:
| |
- Software technologies - overview, categories, description
- Selected software technologies - XML I.
- Selected software technologies - XML II.
- Selected software technologies - XML III.
- Selected software technologies - XPath
- Selected software technologies - XSLT
- Selected software technologies - XQuery
- Selected software technologies - XML databáze
- Selected software technologies - Webové služby
- Selected software technologies - scripting languages and PHP
- Installators
- Verification of system behaviour (Model-checker SPIN Java PathFinder - JPF, PREfast etc.)
- Verification of system behaviour - mathematical structures for modeling of behaviour, specification languages and related software technologies
- Verification of system behaviour - software technologies for code analysis (source code and byte-code)
|
Seminar syllabus:
| |
- Project specifications
- Project specifications
- Consultations to projects
- Consultations to projects
- Consultations to projects
- Presentation of the proposed solution
- Consultations to projects
- Consultations to projects
- Presentation of partial solution
- Consultations to projects
- Consultations to projects
- Presentation of projects
- Presentation of projects
- Crediting
|
Literature:
Requirements:
|
 
|
