Handling state space explosion in component-based software verification: a review

QR Code

Handling state space explosion in component-based software verification: a review

Component-based software development (CBSD) is an alternative approach to constructing software systems that offers numerous benefits, particularly in decreasing the complexity of system design. However, deploying components into a system is a challenging and error-prone task. Model-checking is one...

Full description

Bibliographic Details
Main Authors:	Nejati, Faranak, Abd Ghani, Abdul Azim, Ng, Keng Yap, Jafaar, Azmi
Format:	Article
Published:	Institute of Electrical and Electronics Engineers 2021
Online Access:	http://psasir.upm.edu.my/id/eprint/97497/

Similar Items

An approach to support incremental software construction and verification in component-based system development
by: Nejati, Faranak
Published: (2019)

PUTRACOM: a concurrent component model with exogenous connectors
by: Nejati, Faranak, et al.
Published: (2018)

PUTRACOM: a formalism of a novel component model
by: Nejati, Faranak, et al.
Published: (2020)

Mediator connector for composition of loosely coupled software components.
by: Sanatnama, Hanid, et al.
Published: (2008)

A state-of-practice on teaching software verification and validation
by: Zakaria, Zulfa
Published: (2009)

A systematic mapping of quality models for AI systems, software and components
by: Ali, Mohamed Abdullahi, et al.
Published: (2022)

The robust software metric data model defined in XML.
by: Ng , Keng Yap, et al.
Published: (2008)

A Review of Software Component Reusability Assessment Approaches
by: Fazal, E. Amin, et al.
Published: (2010)

A mapping study to investigate component-based software system metrics
by: Abdellatief, Majdi, et al.
Published: (2013)

An overview of explosion severity on dust explosion
by: W. Z., Wan Sulaiman, et al.
Published: (2011)

Development and Evaluation of a Software Metrics Markup Language
by: Ng, Keng Yap
Published: (2006)

Forgery Detection in Dynamic Signature Verification by Entailing Principal Component Analysis
by: Sayeed, Shohel, et al.
Published: (2007)

Chlorate-based homemade explosives: A review
by: Horrocks, Aaron, et al.
Published: (2023)

Dust and Fire Explosion in Malaysia : A Review
by: Badhrulhisham, Abdul Aziz, et al.
Published: (2014)

Reusable software components framework.
by: Al-Badareen, Anas Bassam, et al.
Published: (2010)

Modified explosive diagram for determining gas-mixture explosibility
by: Cheng, Jianwei, et al.
Published: (2013)

Multifunctional optimized group method data handling for software effort estimation
by: Arbain, Siti Hajar
Published: (2022)

A review on aspect oriented implementation of software product lines components
by: Fazal, E. Amin, et al.
Published: (2010)

Simulation and experimental study of biogas explosion
by: Nurul Syazwana, Noor Azmi
Published: (2021)

Simulation and experimental study of biogas explosion
by: Nurul Syazwana, Noor Azmi
Published: (2021)

Integration Of Fingerprint Centre Point Location And Principal Component Analysis For Fingerprint Verification
by: Chan, Ying Hui, et al.
Published: (2005)

Cryptocurrencies: investigation of explosivity, co-explosivity and connectedness to financial markets
by: Mohamed, Mariam Faiha
Published: (2022)

Improved coward explosive triangle for determining explosibility of mixture gas
by: Cheng, Jianwei, et al.
Published: (2011)

A requirement engineering model for big data software
by: Altarturi, Hamza Hussein, et al.
Published: (2017)

Towards a software component ontology
by: Talevski, Alex, et al.
Published: (2008)

Reusable software component life cycle
by: Al-Badareen, Anas Bassam, et al.
Published: (2011)

A Strategy for Automatic Quality Signing and Verification Processes for Hardware and Software Testing
by: Younis, Mohammed I., et al.
Published: (2010)

Analysis Of Explosion Severity Of Tea Powder At Different Particle Size And Concentration In A Confined Space
by: Nur Hikmah, Semawia, et al.
Published: (2022)

Explosibility Safety Factor: An Approach to Assess Mine Gas Explosion Risk
by: Cheng, Jianwei, et al.
Published: (2015)

Coupling device for explosives
by: Jang, Hyong Doo, et al.
Published: (2014)

A boilerplate that can reduce software ambiguity in Chinese software requirements
by: Osman, Mohd Hafeez, et al.
Published: (2024)

Revised Explosibility Diagram to Judge Best Practice of Controlling an Explosive Gas-Mixture
by: Cheng, Jianwei, et al.
Published: (2014)

Assessment of explosibility and explosion severity of rice flour at different concentration and ignition time
by: Wan Zaiton, Wan Sulaiman, et al.
Published: (2020)

Component-based systems from natural language requirements
by: Nordin, Azlin, et al.
Published: (2011)

KMS components for collaborative software maintenance – a pilot study
by: Mohd Nor, Mohd Zali, et al.
Published: (2010)

Review of complexity metrics for object oriented software products.
by: Tieng, Wei Koh, et al.
Published: (2008)

XMLtemplate: Framework that minimizes the number of software components
by: A.R., Shazi, et al.
Published: (2007)

Identifying knowledge components in software requirement elicitation
by: Taheri, Laleh, et al.
Published: (2014)

A quality model for component-based software
by: Ali, Mohamed Abdullahi
Published: (2019)

Numerical simulation on the flame propagation in duct-vented gas explosion: The effect of duct length on the secondary explosion
by: Siti Zubaidah, Sulaiman, et al.
Published: (2019)