Filters
On Similarities Between Workflow Verification and Grammar Checking
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On verification of workflow and planning domain models using attribute grammars
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On verification of nested workflows with extra constraints: From theory to practice
JC - Počítačový hardware a software
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
On Complexity of Verifying Nested Workflows with Extra Constraints
IN - Informatika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Verifikace Systémů řizení toků aktivit popsaných Objektově-Orientovanými Petriho Sítěmi
Prezentovaný článek představuje metody formální analýzý Systémů řizení toků aktivit (workflow) popsané Objektově-orientovanými Petriho sítěmi. Workflow koordinuje postup uživatelů, distribuuje pracovní úlohy a informace mezi uživate...
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
General Model of Interpreted WFMS
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Co je WORKFLOW?
BC - Teorie a systémy řízení
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Metriky ve workflow systémech
Tento příspěvek pojednává o metrikách ve workflow systémech.
...
JC - Počítačový hardware a software
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Použití odhadu COCOMO a FPA pro workflow systémy
Použití odhadu COCOMO a FPA pro workflow systémy...
IN - Informatika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Integrace dokumentů a workflow do informačního systému
Hlavní témata dokumentu: Enterprise Content Management; Workflow...
BC - Teorie a systémy řízení
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 2 167