The present study proposes an optimized novel approach to improve the software reliability
model based on the nonhomogeneous Poisson process (NHPP). The approach repeatedly …

In this age of technology, building quality software is essential to competing in the business
market. One of the major principles required for any quality and business software product …

Component-based software system (CBSS) development technique is an emerging
discipline that promises to take software development into a new era. As hardware systems …

Early prediction of software reliability provides basis for evaluating potential reliability during
early stages of a project. It also assists in evaluating the feasibility of proposed reliability …

Abstract Component-based Software Systems are comprised of reusable components.
These components are independent and replaceable entities. The overall reliability of a …

形式化方法有助于从根本上提高软件系统的质量与可靠性, 但其开发成本往往过于高昂.
一种折衷的办法是在软件系统中选取关键性部件进行形式化开发, 但目前尚无非常有效的定量 …

We increasingly rely on software-intensive embedded systems. Increasing size and
complexity of these hardware/software systems makes it necessary to evaluate reliability at …

形式化方法有助于从根本上提高软件系统的质量与可靠性, 但其开发成本往往过于高昂.
一种折衷的办法是在软件系统中选取关键性部件进行形式化开发, 但目前尚无非常有效的定量 …

This paper proposes a method in which to formally specify the design and reliability criteria
of an advisory system for use within mission-critical contexts. This is motivated by increasing …

Model-driven engineering (MDE) promotes automated model transformations along the
entire development process. Guaranteeing the quality of early models is essential for a …