Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Design of Information Systems

The course is not on the list Without time-table
Code Completion Credits Range Language
E371137 Z,ZK 4 1P+2C English
Lecturer:
Tutor:
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:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2020-08-15
For updated information see http://bilakniha.cvut.cz/en/predmet5794906.html