Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Design of Information Systems

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
E371137 Z,ZK 4 1P+0C+2L English
Garant předmětu:
Jakub Jura
Lecturer:
Matouš Cejnek, Jakub Jura
Tutor:
Matouš Cejnek, Jakub Jura, Martin Vitoušek
Supervisor:
Department of Instrumentation and Control Engineering
Synopsis:

General issues of system design and limits of system design computer support. Three approaches to automation of software system design: Formal methods. Methodologies and CASE systems. Object oriented methodologies. Methodology OMT, Lexical analysis, theory and examples of application. Unified Modelling Language (UML). Application and examples of UML for system analysis and design. CASE systems - principles and examples. Application of OMT, UML in analysis and design of information and control systems. Project development. Semester thesis.

Requirements:

General issues of system design and limits of system design

computer support. Three approaches to automation of

software system design: Formal methods. Methodologies and

CASE systems. Heuristic and evolutionary approach. Survey

of analysis and design methodologies. Object oriented

methodologies. Methodology OMT, theory and examples of

application. Unified Modelling Language (UML). Application

and examples of UML for system analysis and design. CASE

systems - principles and examples. CASE system Rational

Rose (1998-2002). Application of OMT, UML in analysis and

design of information and control systems. Project

development. Semester thesis.

Syllabus of lectures:

•Object Oriented Methodologies. OMT.

•UML (Unified Modelling Language) for description of Information systems.

•Lexical analysis and class diagram synthesis.

•UML state diagram and its synthesis.

•Algebraic and a computational representation of the state diagram.

•UML sequence diagram, scenarios and sequence diagram synthesis.

•Activity diagram and Use Case diagram.

•Information systems architectures.

•Computer Aided Software engineering (CASE), Code generation.

•Semantic web, XML, XML transformation.

•Semantic distance and semantic differential.

•Computer Ontology.

•UML for Control System Analysis and Design, SysML.

Syllabus of tutorials:

C1. Object Oriented Methodologies. OMT.

C2. Object Modelling Technique - OMT. Examples.

C3. UML. Class diagrams.

C4. UML. State diagrams.

C5. UML. Sequential diagrams.

C6. UML for Conceptual Design.

C7. Rational Rose.

C8. Rational Rose.

C9. Generation Code - Demonstrations and examples.

C10. Application. Topics and assignment of semester projects.

C11. Application. The first check day.

C12. Application.

C13. Formal Logic Approach to analysis and design.

C14. Testing of semester projects. Conclusion of the semester.

Study Objective:

General issues of system design and limits of system design computer support. Three approaches to automation of software system design: Formal methods. Methodologies and CASE systems. Heuristic and evolutionary approach. Survey of analysis and design methodologies. Object oriented methodologies. Methodology OMT, theory and examples of application. Unified Modelling Language (UML). Application and examples of UML for system analysis and design. CASE systems - principles and examples. CASE system Rational Rose (1998-2002). Application of OMT, UML in analysis and design of information and control systems. Project development. Semester thesis.

Study materials:

•[1]„OMG / UML", OMG - Object Management Group. [Online]. Dostupné z: http://www.omg.org/spec/UML.

•[2]„UML-Tutorial", 02-únor-2018. [Online]. Dostupné z: http://www.omgsysml.org/INCOSE-OMGSysML-Tutorial-Final-090901.pdf.

•[3]F. F. C. e Fantuzzi a M. B. Cristian Secchi, „A Design Pattern for translating UML software models into IEC 61131-3 Programming Languages". Preprints of the 18th IFAC World Congress Milano (Italy), 02-zář-2011.

•[4]A. C. Schalley, Cognitive modeling and verbal semantics a representational framework based on UML. Berlin: Mouton de Gruyter, 2004.

•[5]J. Jura a J. Bíla, „Model of Cognitive Functions for Description of the Creative Design Process with Computer Support: Improving of the Interpretation Method for the Computer Conceptual Re-Design", in ISCS 2013: Interdisciplinary Symposium on Complex Systems, roč. 8, A. Sanayei, I. Zelinka, a O. E. Rössler, Ed. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014, s. 163–171.

•[6]C. Richard, R. Spencer, a W. Linda, „Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts", in ASE ’98 Proceedings of the 13th IEEE international conference on Automated software engineering, roč. 1998.

Note:
Time-table for winter semester 2023/2024:
Time-table is not available yet
Time-table for summer semester 2023/2024:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon
Tue
Wed
Thu
roomT4:C1-109
Jura J.
Cejnek M.

09:00–10:30
ODD WEEK

(lecture parallel1)
Dejvice
Laboratoř 12110.3 - 109
roomT4:C1-308
Jura J.
Cejnek M.

12:30–14:00
(lecture parallel1
parallel nr.1)

Dejvice
Laboratoř 12110.3 - 308
Fri
The course is a part of the following study plans:
Data valid to 2024-04-20
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet5794906.html