Original title:
Analýza rozvrhů
Translated title:
Schedule analysis
Authors:
Novák, Ladislav ; Barták, Roman (advisor) ; Duša, Vladimír (referee) Document type: Master’s theses
Year:
2015
Language:
cze Abstract:
[cze][eng] Cílem této diplomové práce bylo věnovat se formální analýze rozvrhů, tj. identifikaci slabých míst a následné navržení metod, jak tato slabá místa opravit. Tato diplomová práce navíc řeší metodu, jak z navržených oprav vybrat vhodnou podmnožinu, tj. portfolio. Výsledný softwarový prototyp Analyzer je integrován do projektu FlowOpt, jež představuje komplexní řešení od modelování pracovních procesů, přes vytváření rozvrhů až po zobrazování rozvrhů pomocí Ganttova diagramu. Analyzer byl vyvíjen především jako doprovodné dílo, které softwarově ilustruje formální proces analýzy. Powered by TCPDF (www.tcpdf.org)Goal of this work was to engage in formal analysis of schedules, i.e. identifying weak spots and consequently design method to correct those weak points. Moreover this thesis addresses method, how from constructed corrections take appropriate set, called portfolio. Resulting software prototype called an Analyzer is integrated into FlowOpt project, which represents complex solution from modeling workflows, creation of schedules to displaying schedules using Gantt diagrams. Analyzer was developed mainly as a prototype application, which illustrates formal process of analysis. Powered by TCPDF (www.tcpdf.org)
Keywords:
analysis; improve; portfolio; schedule; scheduling; analýza; portfolio; rozvrh; rozvrhování; zlepšování
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/81209