| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Ověřování výsledků funkční a datové analýzy zajímá informatiky již řadu let. Snaha odhalit závady na úrovni esenciálního modelu klade jistě verifikaci do velmi užitečné roviny. Kardinální otázkou takto situované verifikace je %22co%22 porovnat s %22čím%22. Je to situace poněkud složitější než obdobná problematika pro jednoduché programy. Naformulovat však to, co bylo původně zamýšleno pro funkci stávajícího a požadovaného podnikového informačního systému (PIS) zpracování informace je nejen obtížné, ale i těžko porovnatelné se získanými výsledky funkční a datové analýzy. Jelikož podstatu takovéto verifikace tvoří sémantika, je obtížné najít vhodný formálně-sémantický systém, který by podstatě kardinální otázky vyhověl. Kardinální otázku verifikace nelze obejít, můžeme jen najít pro nás její vhodnou interpretaci. Jednou z nich může být zavedení role analytika-projektanta a zástupce(-ů) uživatele jako komparátorů mezi tím co bylo zamýšleno, a tím čeho bylo analýzou dosaženo. Takový komparátor ale není schope
- Ověřování výsledků funkční a datové analýzy zajímá informatiky již řadu let. Snaha odhalit závady na úrovni esenciálního modelu klade jistě verifikaci do velmi užitečné roviny. Kardinální otázkou takto situované verifikace je %22co%22 porovnat s %22čím%22. Je to situace poněkud složitější než obdobná problematika pro jednoduché programy. Naformulovat však to, co bylo původně zamýšleno pro funkci stávajícího a požadovaného podnikového informačního systému (PIS) zpracování informace je nejen obtížné, ale i těžko porovnatelné se získanými výsledky funkční a datové analýzy. Jelikož podstatu takovéto verifikace tvoří sémantika, je obtížné najít vhodný formálně-sémantický systém, který by podstatě kardinální otázky vyhověl. Kardinální otázku verifikace nelze obejít, můžeme jen najít pro nás její vhodnou interpretaci. Jednou z nich může být zavedení role analytika-projektanta a zástupce(-ů) uživatele jako komparátorů mezi tím co bylo zamýšleno, a tím čeho bylo analýzou dosaženo. Takový komparátor ale není schope (cs)
- Using a progressive Information Technology for development of Software Modules for En-terprise Information Systems brings a lot of practical and theoretical problems. One of them is a verification of results achieved in Life Cycle Stages, especially in the analysis stage. Instead of a very deep theoretical approach we can use quite practical testing by means of a testing database. Such testing database has to be constructed gradually from the Data Flow Diagram by a special algorithm. This article introduces a formal description of the entity population and entity states. There is suggested to deal with fragments of the DFD that are produced with respect to the event set. This DFD event fragment is refined to transactions and their elementary functions. There is defined a transaction path in every transaction. By means of a special state equation system is generally defined conception of a correct functional processing of entities going along a se-lected transaction path. Solutions of such state equ (en)
|
| Title
| - Interaktivní styl produkce testovací báze dat pro podnikový IS
- Interaktivní styl produkce testovací báze dat pro podnikový IS (cs)
- An Interactive Style of the Testing Database Production for EIS (en)
|
| skos:prefLabel
| - Interaktivní styl produkce testovací báze dat pro podnikový IS
- Interaktivní styl produkce testovací báze dat pro podnikový IS (cs)
- An Interactive Style of the Testing Database Production for EIS (en)
|
| skos:notation
| - RIV/62156489:43110/06:00098838!RIV07-MSM-43110___
|
| http://linked.open.../vavai/riv/strany
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/62156489:43110/06:00098838
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Database for IS testing; event, transaction, state equations; path in control event graph, function correctness. (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| - Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| - Rábová, Ivana
- Mišovič, Milan
|
| http://linked.open...n/vavai/riv/zamer
| |
| issn
| |
| number of pages
| |
| http://localhost/t...ganizacniJednotka
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)