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.

• 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.

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.

• [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.

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.

OMT, UML, Rational rose