Description:

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.

Contents:

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

Seminar contents:

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.

Recommended literature:

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

Keywords:

OMT, UML, Rational rose

Abbreviations used:

Semester:

• W ... winter semester (usually October - February)
• S ... spring semester (usually March - June)
• W,S ... both semesters

Mode of completion of the course:

• A ... Assessment (no grade is given to this course but credits are awarded. You will receive only P (Passed) of F (Failed) and number of credits)
• GA ... Graded Assessment (a grade is awarded for this course)
• EX ... Examination (a grade is awarded for this course)
• A, EX ... Examination (the award of Assessment is a precondition for taking the Examination in the given subject, a grade is awarded for this course)

Weekly load (hours per week):

• P ... lecture
• C ... seminar
• L ... laboratory
• R ... proseminar
• S ... seminar