UPPAAL model for validation of the software development process
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...
| Main Author: | |
|---|---|
| Format: | Undergraduates Project Papers |
| Language: | English |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/27055/ http://umpir.ump.edu.my/id/eprint/27055/ http://umpir.ump.edu.my/id/eprint/27055/1/UPPAAL%20model%20for%20validation%20of%20the%20software%20development.pdf |
| id |
ump-27055 |
|---|---|
| recordtype |
eprints |
| spelling |
ump-270552019-12-19T03:52:07Z http://umpir.ump.edu.my/id/eprint/27055/ UPPAAL model for validation of the software development process Atirah Shahira, Mahadi QA76 Computer software 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. 2019-01 Undergraduates Project Papers NonPeerReviewed pdf en http://umpir.ump.edu.my/id/eprint/27055/1/UPPAAL%20model%20for%20validation%20of%20the%20software%20development.pdf Atirah Shahira, Mahadi (2019) UPPAAL model for validation of the software development process. Faculty of Computer System & Software Engineering, Universiti Malaysia Pahang. http://fypro.ump.edu.my/ethesis/index.php |
| repository_type |
Digital Repository |
| institution_category |
Local University |
| institution |
Universiti Malaysia Pahang |
| building |
UMP Institutional Repository |
| collection |
Online Access |
| language |
English |
| topic |
QA76 Computer software |
| spellingShingle |
QA76 Computer software Atirah Shahira, Mahadi UPPAAL model for validation of the software development process |
| description |
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. |
| format |
Undergraduates Project Papers |
| author |
Atirah Shahira, Mahadi |
| author_facet |
Atirah Shahira, Mahadi |
| author_sort |
Atirah Shahira, Mahadi |
| title |
UPPAAL model for validation of the software development process |
| title_short |
UPPAAL model for validation of the software development process |
| title_full |
UPPAAL model for validation of the software development process |
| title_fullStr |
UPPAAL model for validation of the software development process |
| title_full_unstemmed |
UPPAAL model for validation of the software development process |
| title_sort |
uppaal model for validation of the software development process |
| publishDate |
2019 |
| url |
http://umpir.ump.edu.my/id/eprint/27055/ http://umpir.ump.edu.my/id/eprint/27055/ http://umpir.ump.edu.my/id/eprint/27055/1/UPPAAL%20model%20for%20validation%20of%20the%20software%20development.pdf |
| first_indexed |
2023-09-18T22:42:26Z |
| last_indexed |
2023-09-18T22:42:26Z |
| _version_ |
1777417004040323072 |