Software Technology

Lecturer:

Pavel Strnad

Tutor:

Pavel Strnad

Supervisor:

Department of Computer Science and Engineering

Synopsis:

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

Requirements:

http://service.felk.cvut.cz/courses/XD36SWT

To get credits at software technologies the student has to finish his/her project.

Syllabus of lectures:

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)

Syllabus of tutorials:

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

Study Objective:

Study materials:

1. Kosek, J: XML pro pokročilé.

2. RMI Specification, Sun, http://java.sun.com/j2se

3. JavaSpaces Specification, Sun, http://java.sun.com/products/javaspaces

4. WebServices SOAP/WSDL/UDDI, Oasis, http://www.oasis-open.org

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans:

• Computer Technology - Software Engineering- structured studies (compulsory course of the branch)