UPPAAL model for validation of the software development process

QR Code

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...

Full description

Bibliographic Details
Main Author:	Atirah Shahira, Mahadi
Format:	Undergraduates Project Papers
Language:	English
Published:	2019
Subjects:	QA76 Computer software
Online Access:	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

Similar Items

Software visual specification for requirement specification validation
by: Fauziah, Zainuddin, et al.
Published: (2018)

Heurtistics Evaluation Techniques In Agile Software Model For The Development Of Usable Software
by: Butt, Saad Masood, et al.
Published: (2014)

Validating the usability attributes of AHP-software risk prioritization model using partial least square-structural equation modeling
by: Anthony, Bokolo Jnr.
Published: (2019)

Towards Incorporation of Software Security Testing Framework in Software Development
by: Hassan, N. H., et al.
Published: (2011)

Validation of RP-SPF framework: a systematic method for requirements reuse in software product lines
by: Badamasi, Imam Ya'au, et al.
Published: (2019)

An integrated software quality model in a fuzzy analytical hierarchy process-based evaluation framework for e-learning software / Ahmad Fadli Saad
by: Ahmad Fadli , Saad
Published: (2017)

Ontology-based Development of the Metamodels for Modelling Distributed Parallel Software Systems
by: Malakhov, Eugene, et al.
Published: (2015)

2DCBS: A Model for Developing Dependable Component-Based Software
by: Kahtan, Hasan, et al.
Published: (2016)

Developing context-aware mobile applications using composition process based-on heterogeneous software entities
by: Djeddar, Afrah, et al.
Published: (2015)

Design and process metamodels for modelling and verification of safety-related software applications in smart building systems
by: Murni, Fatehah, et al.
Published: (2018)

Distinguishing automata machine by using UPPAAL as a model checker
by: Nagarathinam, Yogeswaran, et al.
Published: (2014)

A review: software safety requirement analysis model in critical software development
by: Azma, Abdullah, et al.
Published: (2023)

Automated Validation Of Software Product Lines Using First Order Logic Rules
by: Abdelrahman Elfaki, Abdelrahman Osman
Published: (2010)

Software testing process for shared banking services (SBS) system
by: Arbain @ Sulaiman, Norakmar
Published: (2009)

Adoption of software development life cycle (SDLC) model in games development framework for serious games applications
by: Siti Normaziah, Ihsan, et al.
Published: (2018)

Seamless model interoperability for software design and analysis
by: M. A., Ameedeen, et al.
Published: (2017)

Review Paper on the Importance of Usability in Agile Software Development
by: Butt, Saad Masood, et al.
Published: (2015)

Significant factors in Agile software development of effort estimation
by: Pantjawati, Sudarmaningtyas, et al.
Published: (2022)

A semantic based software redocumentation using ontology with distributed processing techniques
by: Hiew, Khai Hang
Published: (2023)

A component-oriented programming framework for developing embedded mobile robot software using PECOS model
by: Abang Jawawi, Dayang Norhayati, et al.
Published: (2006)

A serious games development framework through application of software development life cycle model
by: Siti Normaziah, Ihsan, et al.
Published: (2017)

Testing model using risk poker technique for scrum-based software development projects / Siti Noor Hasanah Ghazali
by: Siti Noor Hasanah , Ghazali
Published: (2017)

Classifying Software Requirements Using Kano's Model to Optimize Customer Satisfaction
by: Balsam, A. Mustafa
Published: (2014)

Factor Strategy Model: Proofs of Prototype Concept for Software Quality Evaluation
by: Nathan, Darmawan, et al.
Published: (2010)

The effect of geographical region on the transition time of CMMI-based software process improvement / Fahad Hamed Alshammari
by: Alshammari, Fahad Hamed
Published: (2013)

Development of computer-aided materials and manufacturing process selection software using Boothroyd-Dewhurst methodology
by: Sulong@Zakaria, Zaeime
Published: (2010)

Proper software engineering process in developing an integrated telehealth system
by: Abd Ghani, Mohd Khanapi, et al.
Published: (2018)

Parameter estimation of cocomo model using the jaya algorithm for software cost estimation
by: Tan, Jie Chee
Published: (2019)

Hybrid convergence analysis model for large-scale software projects / Vasuthevan Balakrishnan.
by: Balakrishnan, Vasuthevan
Published: (1999)

Client’s Perspective: Realization as a New Generation Process for Software Project Development and Management
by: Akbar, R., et al.
Published: (2010)

Development and validation of the technology adoption and gratification (TAG) model in assessing lecturers’ ICT use / A.Y.M. Atiquil Islam
by: A.Y.M., Atiquil Islam
Published: (2015)

Requirements engineering practices model for software development outsourcing issues / Javed Iqbal
by: Javed , Iqbal
Published: (2016)

Search based software testing
by: Kamal Z., Zamli, et al.
Published: (2016)

Virtual tour guide software
by: Ching, Yee Sim
Published: (2018)

Software development by integrating the integrated using axiomatic design-lucas design for assembly (DFA)
by: Hamzanee, Mat Jusoh
Published: (2008)

Software development by integrating the integrated value engineering (VE) and boothroyd design for assembly(DFA
by: Hasrol Nizam, Md. Hasan
Published: (2008)

The rise and evolution of agile software development
by: Hoda, Rashina, et al.
Published: (2018)

Software requirements patterns and meta model: a strategy for enhancing Requirements Reuse (RR)
by: Imam Yau'u, Badamasi, et al.
Published: (2016)

Meta-modeling constructs for requirements reuse (RR): software requirements patterns, variability, and traceability
by: Imam Yau'u, Badamasi, et al.
Published: (2018)

A document-like software visualization method for effective cognition of c-based software systems
by: Sulaiman, Shahida
Published: (2004)