. . "13"^^ . "2006-09-06+02:00"^^ . "[C23E9FAD96BE]" . . . . . "3"^^ . "OMT a UML v pohledu r\u016Fzn\u00FDch p\u0159\u00EDstup\u016F k automatizaci synt\u00E9zy \u0159e\u0161en\u00ED probl\u00E9m\u016F a \u00FAloh" . . . . . "OMT a UML v pohledu r\u016Fzn\u00FDch p\u0159\u00EDstup\u016F k automatizaci synt\u00E9zy \u0159e\u0161en\u00ED probl\u00E9m\u016F a \u00FAloh"@cs . . "3"^^ . "B\u00EDla, Ji\u0159\u00ED" . "OMT and UML as Tools for Automation of Problem Solution Synthesis"@en . "P(2B06023)" . . "The paper emphasises relevancy of OMT and UML for automation of Problem Solution Synthesis. Efficiency of the Synthesis procedure is discussed from a few points of view. As an extreme way for concetration of information a curving of cognitive space there is considered."@en . . "OMT and UML as Tools for Automation of Problem Solution Synthesis"@en . "490237" . "Zl\u00EDn" . . "Zl\u00EDn" . "Jura, Jakub" . . "OMT a UML v pohledu r\u016Fzn\u00FDch p\u0159\u00EDstup\u016F k automatizaci synt\u00E9zy \u0159e\u0161en\u00ED probl\u00E9m\u016F a \u00FAloh" . . . "Weiglhofer, Willy" . "RIV/68407700:21220/06:00125350" . "Univerzita Tom\u00E1\u0161e Bati ve Zl\u00EDn\u011B" . "80-7318-460-5" . . "V \u010Dl\u00E1nku jsou analyzov\u00E1ny mo\u017Enosti vyu\u017Eit\u00ED metodiky OMT (Objektov\u00E1 modelovac\u00ED technika) a jazyka UML (Unifikovan\u00FD modelovac\u00ED jazyk) pro synt\u00E9zu \u0159e\u0161en\u00ED probl\u00E9m\u016F a \u00FAloh. Jedn\u00EDm z hlavn\u00EDch uplat\u0148ovan\u00FDch hledisek byla efektivnost postupu synt\u00E9zy. Byly demonstrov\u00E1ny n\u011Bkter\u00E9 d\u0159\u00EDv\u011Bj\u0161\u00ED projekty (jako nap\u0159. GPS - univerz\u00E1ln\u00ED \u0159e\u0161itel \u00FAloh), ale i velmi sou\u010Dasn\u00E9 p\u0159\u00EDstupy (nap\u0159. transformace specifikac\u00ED) s vesm\u011Bs jednozna\u010Dn\u00FDm p\u0159\u00EDklonem k in\u017Een\u00FDrsk\u00FDm metod\u00E1m vyu\u017E\u00EDvaj\u00EDc\u00EDm n\u011Bkter\u00FD z modern\u00EDch formula\u010Dn\u00EDch jazyk\u016F (nap\u0159. UML). Jako jeden z krajn\u00EDch p\u0159\u00EDstup\u016F byl uveden p\u0159\u00EDstup modelov\u00E1n\u00ED r\u016Fstu znalost\u00ED (a\u017E k dosa\u017Een\u00ED \u0159e\u0161en\u00ED probl\u00E9mu) cestou zak\u0159ivov\u00E1n\u00ED sou\u0159adnic znalostn\u00EDho prostoru."@cs . . . "Curving of Cognitive Space; Evolution Equation; General Problem Solver; Monitoring Systems; Sign Model; Transformation of Specifications"@en . "V \u010Dl\u00E1nku jsou analyzov\u00E1ny mo\u017Enosti vyu\u017Eit\u00ED metodiky OMT (Objektov\u00E1 modelovac\u00ED technika) a jazyka UML (Unifikovan\u00FD modelovac\u00ED jazyk) pro synt\u00E9zu \u0159e\u0161en\u00ED probl\u00E9m\u016F a \u00FAloh. Jedn\u00EDm z hlavn\u00EDch uplat\u0148ovan\u00FDch hledisek byla efektivnost postupu synt\u00E9zy. Byly demonstrov\u00E1ny n\u011Bkter\u00E9 d\u0159\u00EDv\u011Bj\u0161\u00ED projekty (jako nap\u0159. GPS - univerz\u00E1ln\u00ED \u0159e\u0161itel \u00FAloh), ale i velmi sou\u010Dasn\u00E9 p\u0159\u00EDstupy (nap\u0159. transformace specifikac\u00ED) s vesm\u011Bs jednozna\u010Dn\u00FDm p\u0159\u00EDklonem k in\u017Een\u00FDrsk\u00FDm metod\u00E1m vyu\u017E\u00EDvaj\u00EDc\u00EDm n\u011Bkter\u00FD z modern\u00EDch formula\u010Dn\u00EDch jazyk\u016F (nap\u0159. UML). Jako jeden z krajn\u00EDch p\u0159\u00EDstup\u016F byl uveden p\u0159\u00EDstup modelov\u00E1n\u00ED r\u016Fstu znalost\u00ED (a\u017E k dosa\u017Een\u00ED \u0159e\u0161en\u00ED probl\u00E9mu) cestou zak\u0159ivov\u00E1n\u00ED sou\u0159adnic znalostn\u00EDho prostoru." . "PrincipiaCybernetica2006" . "RIV/68407700:21220/06:00125350!RIV11-MSM-21220___" . "OMT a UML v pohledu r\u016Fzn\u00FDch p\u0159\u00EDstup\u016F k automatizaci synt\u00E9zy \u0159e\u0161en\u00ED probl\u00E9m\u016F a \u00FAloh"@cs . . "21220" .