UPPAAL model for validation of the software development process

Atirah Shahira, Mahadi (2019) UPPAAL model for validation of the software development process. Faculty of Computer System & Software Engineering, Universiti Malaysia Pahang.

[img]
Preview
Pdf
UPPAAL model for validation of the software development.pdf - Accepted Version

Download (314kB) | Preview

Abstract

Software development is a process of creating useful programs and systems to improve the quality of life. There are Software Development Life Cycles such as Waterfall, and Rapid Application Development among many others. In order to validate the process of software development it is important to use formal methods. Proving properties whether it is operational or quality ones is crucial to avoid errors and possible accidents that can cost human lives. UPPAAL timed automata was selected for development of the model of a software development process in this research. A case study was taken from a small software development company in Malaysia, corresponding model was developed and analysed, and next validated by UPPAAL. This study is beneficial for software development companies to refer and form understanding on the importance of using formal tools, allowing proving and validating the business process before the development of a software system starts.

Item Type: Undergraduates Project Papers
Additional Information: Project Paper (Bachelors of Computer Science (Software Engineering)) -- Universiti Malaysia Pahang – 2019, SV: PROFESSOR VITALIY MEZHUYEV, e-Thesis
Uncontrolled Keywords: Software development; UPPAAL; software system
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Mrs. Sufarini Mohd Sudin
Date Deposited: 19 Dec 2019 03:52
Last Modified: 19 Dec 2019 03:52
URI: http://umpir.ump.edu.my/id/eprint/27055
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item