From user stories to organizational learning: A formal language to specify requirements

Fernando Henao Pacheco

Master's thesis

Od uživatelských příběhů po organizační učení, formální jazyk pro specifikaci po-žadavků.

Anotácia:

Henao Pacheco, Fernando. Od uživatelských příběhů po organizační učení, formál-ní jazyk pro specifikaci požadavků. Diplomová práce. Brno: Mendelova univerzita v Brně, 2023. Selhání v požadavcích na software může být příčinou kolapsu projektu. Agilní vý-voj softwaru by měl implementovat funkce s uživatelskými příběhy, aby pokryl rozsah projektu. Tyto projekty bývají postupné a evoluční. Toto dynamické a adaptivní prostředí by mohlo potřebovat formální speci-fikace k objasnění hlavního cíle pro uživatelský příběh, k vytvoření testovacích případů a ke snížení vágnosti, nekonzistence, nedostatečnosti a duplicit jako pro-blémů s nejednoznačností uživatelských příběhů. Tato práce je zaměřena na vytvoření formálního jazyka pro popis uživatel-ských příběhů pro usnadnění plánování a vývoje projektů, odhadů, opětovného použití kódu a vytváření diagramů. Používáním tohoto jazyka by měl softwarový tým mít k dispozici explicitní znalosti.

Abstract:

Abstract Henao Pacheco, Fernando. From user stories to organisational learning, a for-mal language to specify requirements. Diploma thesis. Brno: Mendel University, 2023. Failures in software requirements can be the cause of project collapse. Agile soft-ware development should implement the functionalities with user stories to cover the project scope. Usually, these projects are incremental and evolutive. This dynamic and adaptive environment could need formal specifications to clarify the main goal per user story and create test cases. Also, to diminish vague-ness, inconsistency, insufficiency, and duplicity as user stories ambiguity prob-lems. This thesis aims to create a formal language to describe user stories to facil-itate project planning and development, estimation, code reuse, and diagramming. By using the language, the software team should acquire explicit knowledge.

Kľúčové slová

Inženýrství požadavků, formální jazyky, znalostní management, agilní

Keywords

Requirements engineering, agile, formal languages, knowledge management.

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 7. 5. 2023

Obhajoba závěrečné práce

• Obhajoba proběhla 21. 6. 2023
• Vedúci: Ing. Mgr. Jana Dannhoferová, Ph.D.
• Oponent: Pavel Haluza, Ph.D.

Mendel University in Brno

Faculty of Business and Economics

Master programme / odbor / specializace:
System Engineering and Informatics / Economic Informatics / Advanced Data Analysis