This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n13http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n21http://localhost/temp/predkladatel/
n17http://purl.org/net/nknouf/ns/bibtex#
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n8http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/ontology/domain/vavai/
n18https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21220%2F06%3A00125350%21RIV11-MSM-21220___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21220%2F06%3A00125350%21RIV11-MSM-21220___
rdf:type
n10:Vysledek skos:Concept
dcterms:description
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. V článku jsou analyzovány možnosti využití metodiky OMT (Objektová modelovací technika) a jazyka UML (Unifikovaný modelovací jazyk) pro syntézu řešení problémů a úloh. Jedním z hlavních uplatňovaných hledisek byla efektivnost postupu syntézy. Byly demonstrovány některé dřívější projekty (jako např. GPS - univerzální řešitel úloh), ale i velmi současné přístupy (např. transformace specifikací) s vesměs jednoznačným příklonem k inženýrským metodám využívajícím některý z moderních formulačních jazyků (např. UML). Jako jeden z krajních přístupů byl uveden přístup modelování růstu znalostí (až k dosažení řešení problému) cestou zakřivování souřadnic znalostního prostoru. V článku jsou analyzovány možnosti využití metodiky OMT (Objektová modelovací technika) a jazyka UML (Unifikovaný modelovací jazyk) pro syntézu řešení problémů a úloh. Jedním z hlavních uplatňovaných hledisek byla efektivnost postupu syntézy. Byly demonstrovány některé dřívější projekty (jako např. GPS - univerzální řešitel úloh), ale i velmi současné přístupy (např. transformace specifikací) s vesměs jednoznačným příklonem k inženýrským metodám využívajícím některý z moderních formulačních jazyků (např. UML). Jako jeden z krajních přístupů byl uveden přístup modelování růstu znalostí (až k dosažení řešení problému) cestou zakřivování souřadnic znalostního prostoru.
dcterms:title
OMT and UML as Tools for Automation of Problem Solution Synthesis OMT a UML v pohledu různých přístupů k automatizaci syntézy řešení problémů a úloh OMT a UML v pohledu různých přístupů k automatizaci syntézy řešení problémů a úloh
skos:prefLabel
OMT a UML v pohledu různých přístupů k automatizaci syntézy řešení problémů a úloh OMT a UML v pohledu různých přístupů k automatizaci syntézy řešení problémů a úloh OMT and UML as Tools for Automation of Problem Solution Synthesis
skos:notation
RIV/68407700:21220/06:00125350!RIV11-MSM-21220___
n3:aktivita
n19:P
n3:aktivity
P(2B06023)
n3:dodaniDat
n7:2011
n3:domaciTvurceVysledku
n8:2339994 n8:5943884 n8:1354027
n3:druhVysledku
n6:D
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
490237
n3:idVysledku
RIV/68407700:21220/06:00125350
n3:jazykVysledku
n12:cze
n3:klicovaSlova
Curving of Cognitive Space; Evolution Equation; General Problem Solver; Monitoring Systems; Sign Model; Transformation of Specifications
n3:klicoveSlovo
n4:Monitoring%20Systems n4:Transformation%20of%20Specifications n4:Sign%20Model n4:Evolution%20Equation n4:Curving%20of%20Cognitive%20Space n4:General%20Problem%20Solver
n3:kontrolniKodProRIV
[C23E9FAD96BE]
n3:mistoKonaniAkce
Zlín
n3:mistoVydani
Zlín
n3:nazevZdroje
PrincipiaCybernetica2006
n3:obor
n20:BC
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n11:2B06023
n3:rokUplatneniVysledku
n7:2006
n3:tvurceVysledku
Bíla, Jiří Jura, Jakub Weiglhofer, Willy
n3:typAkce
n13:EUR
n3:zahajeniAkce
2006-09-06+02:00
s:numberOfPages
13
n17:hasPublisher
Univerzita Tomáše Bati ve Zlíně
n18:isbn
80-7318-460-5
n21:organizacniJednotka
21220