P1. (4.10.) Přístupy k automatizaci návrhu programových systémů. (Specifikační jazyky, formulační jazyky, Logické programování (PROLOG), Analytické a návrhové metodologie a CASE systémy, heuristické přístupy).
P2. (11.10.) Analytické a návrhové metodologie a CASE systémy (Přehled hlavních metodologií a metodik, Objektově orientované metodologie : OOA, OOSE, OMT).
P3. (18.10.) Jazyk UML. (Cíl, hlavní principy, stavba, vrstvy, diagramy, použití.)
P4. (25.10.) Jazyk UML. (Analýza problému, dělení znalostí, konceptuální modelování. Diagram tříd, objekty, atributy, operace, asociace. Příklady.)
P5. (1.11.) Jazyk UML. (Modelování dynamických závislostí, dekompozice procesů. Stavový a sekvenční diagram. (Nižší vrstva formalizace: koneč-né automaty a Petriho sítě.) Příklady.)
P6. (8.11.) Jazyk UML. (Diagramy kooperací, diagramy aktivit. Přesah do návrhu HW: diagramy komponent a diagramy nasazení.)
P7. (15.11.) CASE systémy : SELECT ENTERPRISE a RATIONAL ROSE. (Úvodní informace a srovnání.)
P8. (22.11.) RATIONAL ROSE 1998, 1999, 2000. (Programovací technika a služby systému. Generování kódu. Reverse Engineering. Příklady.)
P9. (29.11.) Příklad návrhu programu řídicího systému většího technologického procesu. (Case study.)
P10. (6.12.) Využití principů dokazování teorémů pro formalizaci návrhu programů. (Gramatika jazyka predikátů 1. řádu, kalkul a inferenční systém nad jazykem predikátů 1.řádu.)
P11. (13.12.) Využití principů dokazování teorémů pro formalizaci návrhu programů. (Resoluční princip důkazu, využití jazyka PROLOG.)
P12. (20.12.) Heuristické specifikace funkce programů pomocí pravidlových systémů a Petriho sítí. Zápis v jazyce UML.
P13. (3.1.) Heuristické specifikace funkce programů pomocí pravidlových systémů a Petriho sítí. Zápis v jazyce UML. Širší využití UML formalismu v inženýrství.
P14. (10.1.) Ohad korektnosti UML modelu. Perspektivy formulačních jazyků. Závěr přednášek.
1. Bíla, Král : Databázové a znalostní systémy, ČVUT, Praha,1999. str. 46-86. str. 98-103.
2. Quatrani, T. : Visual Modelling with Rational Rose and UML. Addison Wesley Longman, Inc., MA, 1998.
3. Richta, K. a Sochor, J.: Softwarové inženýrství 1. ČVUT, Praha, 1996.
4. Janeček, J.: Počítačové sítě, ČVUT, Praha, 1990.
5. Mařík a kol.: Umělá inteligence 1. Academia, Praha, 1997.
6. Schmuller, J.: Myslíme v jazyce UML. Grada Publishing, Praha, 2001.
7. Meilir Page-Jones. : Základy objektově orientovaného návrhu v UML. Grada Publishing, Praha, 2001.