Documenti analoghi: Inteligentná podpora tvorby programov :
- Automatická syntéza programov a metodológia programovania : Kand.diz.práca : V.odb. 26-15-9 : Obh. 08.12.1983 /
- Formal development of programs and proofs /
- Príspevok k podpore tvorby programov na báze znalostí : Kand.diz.práca : V.odb. 26-17-9 : Obh. 23.06.1994 /
- Software design techniques for large ADA systems /
- Explicitná reprezentácia programátorských znalostí a ich použitie pri návrhu programu : Kand.diz.práca : V.odb. 26-17-9 : Obh. 03.07.1996 /
- Notations for software design /
Soggetto: automatizácia programovania
- Automatická syntéza programov a metodológia programovania : Kand.diz.práca : V.odb. 26-15-9 : Obh. 08.12.1983 /
- Explicitná reprezentácia programátorských znalostí a ich použitie pri návrhu programu : Kand.diz.práca : V.odb. 26-17-9 : Obh. 03.07.1996 /
- Inteligentná podpora tvorby programov : Habil.práca : Obh. 07.09.1993 /
- Advanced simulation of systems : Proceedings of the workshop : Konf. ASS 1996, Zábřeh na Moravě, Czech republic, 17.- 19. Sept. 1996 /
- Softvérové inžinierstvo a systémy CASE
- AutoCAD 2000/2000i : Přehled příkazů a funkcí
Soggetto: software
- Návrh a realizácia riadenia pre kamerový slider
- Softvéry pre tvorbu dispozičných riešení pre montáž
- Softvér pre podporu výučby predmetu Programovanie priemyselných regulátorov
- CAM systémy pre výrobu stopkových rezných nástrojov
- Hardvérové a softvérové zabezpečenie pre počítačom integrovanú výrobu
- Návrh a realizácia SW aplikácie pre riadenie robota KoŠkuEl
Autore: Návrat, Pavol, 1952-
- Príspevok k automatickému rozpoznávaniu programov : V. odb. 25-31-9. Obh. 23.3.2000
- Modely opisu programových systémov - podpora návrhových vzorov
- Získavanie informácií z webu metódami inšpirovanými správaním sa sociálneho hmyzu
- Príspevok k tvorbe a rozpoznávaniu inštancií návrhových vzorov
- Semi-automated Construction of Messaging-based Enterprise Application Integration Solutions
- Zhlukovanie na sociálnom webe