An approach to support incremental software construction and verification in component-based system development

QR Code

An approach to support incremental software construction and verification in component-based system development

Component-based System Development (CBSD) is a promising way of thinking or philosophy to reduce the cost and time of software system development. Moreover, CBSD is able to tame the complexity of today’s software systems development while the quality is guaranteed. However, supporting correctness...

Full description

Bibliographic Details
Main Author:	Nejati, Faranak
Format:	Thesis
Language:	English
Published:	2019
Subjects:	Computer systems Component software Computer software - Development
Online Access:	http://psasir.upm.edu.my/id/eprint/90768/ http://psasir.upm.edu.my/id/eprint/90768/1/FSKTM%202019%2056%20IR.pdf

Similar Items

Architectural design metrics as indicators of changeability of component-based software systems
by: Mohammed Khair, Majdi Abdellatief Mohammed
Published: (2012)

Components interaction markup language for mediator connector.
by: Sanatnama, Hamid, et al.
Published: (2009)

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

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

Improving Flexibility in Manufacturing Using a Family Ordering System for Long Lead Time Component
by: Ooi, Chee Keong
Published: (2005)

A Re-configurable Component-based Software Framework
by: Talevski, Alex, et al.
Published: (2003)

Estimating software cost with security risk potential
by: Abdullah, Nur Atiqah Sia, et al.
Published: (2009)

Cost Estimation Model for Secure Software Development
by: Sia Abdullah, Nur Atiqah
Published: (2011)

Mediator Connector for Composing Loosely Coupled Software Components
by: Sanatnama, Hamid
Published: (2009)

Software Development For Conversion Of Ip To Wireless Atm (Watm)
by: Sudhakar, Swarnappa Clement
Published: (2002)

Development of Software for Dielectric Analysis
by: Lim, Long Hsiang
Published: (2002)

Middleware Component Using Enterprise Java Bean (EJB)
by: Kannan, Kavitha
Published: (2003)

Designing a Software Maintenance System Using a Reverse Engineering Approach
by: Al-Fawareh, Hamed Jasem
Published: (1998)

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

Evolutionary approach for combinatorial testing of software product lines
by: Sahid, Mohd Zanes
Published: (2020)

Suggested functionalities of a software maintenance tool for a university application system.
by: Sulaiman, Hidayah, et al.
Published: (2008)

The Usage of Object Oriented Approach in Software Development Companies
by: Vikneswary, Anne
Published: (2003)

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

The practice of unit testing by five software development companies in Malaysia
by: Hussain, Marzilah
Published: (2002)

Comparison of Software Testing Tools on Gui Features
by: Ghazali, Fatimah
Published: (2005)

Collaborative experience-based factory model for software development process
by: Hanafiah, Mastura
Published: (2019)

Developing knowledge factory system as a best practice platform in software process environment
by: Abd Kudus, Mazurah, et al.
Published: (2008)

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

Decision-making model for outsourcing software development providers selection
by: Urekwere, Orlu Glory
Published: (2020)

Factors affecting software development process: An exploratory study
by: Pozhidaev, Anton
Published: (2017)

The implementation of software process improvement models.
by: Ismail, Mohammad Hafiz, et al.
Published: (2009)

Approach for selecting requirement elicitation technique
by: Hussein, Ibrahim Hassan
Published: (2019)

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

Method and tool to generate requirement traceability Matrix for scrum development methodology
by: Duraisamy, Gunavathi
Published: (2014)

Handling state space explosion in component-based software verification: a review
by: Nejati, Faranak, et al.
Published: (2021)

Analysis of Existing Approaches to Constructing Component-based Systems Directly from Natural Language Requirements
by: Nordin, Azlin
Published: (2012)

An Algorithmic Approach for Stability of an Autonomous System
by: Cik Soh, Shaharuddin
Published: (2002)

Visualizing the construction of incremental Disorder Trie Itemset data structure (DOSTrieIT) for Frequent Pattern Tree (FP-Tree)
by: Zailani, Abdullah, et al.
Published: (2011)

Ontology-based multi-site software development methodology and tools
by: Wongthongtham, Pornpit, et al.
Published: (2006)

Finite element investigation of the incremental deformation of components
by: Sahari, Berkawi Bin
Published: (1984)

Customization approach and software quality mapping model to improve SaaS customization
by: Ali, Abdulrazzaq Qasem
Published: (2020)

Mobile Student Verification System for Major Examination (S-VEC)
by: Aziman, Abdullah, et al.
Published: (2008)

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

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

Reuse oriented approach for reliable software product / Maziah Abdul Hamid
by: Abdul Hamid, Maziah
Published: (2005)