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.

P1 Introduction. Object Oriented Methodologies. OMT.
P2. Methodology of Analysis and Design. Object Modelling Technique - OMT.
P3. Unified Modelling Language. UML.
P4. Unified Modelling Language. UML.
P5. Unified Modelling Language. UML.
P6. UML for the Conceptual Modelling.
P7. Rational Rose.
P8. Rational Rose.
P9. Generating Code.
P10. Application.
P11. Application.
P12. Another approaches to analysis and Design.
P13. Formal Logic Approach.
P14. Conclusions of Lectures.

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.Schmuller, J.: Teach Yourself UML in 24 hours. Sams, 1999., 2. Meilir Page-Jones: Fundamentals of Object-Oriented Design in UML. Addison-Wesley, Amsterdam, 2000.

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.