The personal health records (PHR) always contain much health-related privacy information in different categories. When storing the PHR data in the cloud, the PHR owner losescontrol to the sensitive information and is ...
详细信息
This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics a...
详细信息
ISBN:
(纸本)9781849196413
This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics and the disadvantages of project management in small-sized software project. Therefore, some quality activities should be considered in small-sized software project. The paper proposed lightweight quality planning, quality execution and quality monitoring activities in project management. Finally, the paper gives practical applications and proves method effective.
Provenance plays a fundamental role in e-science to keep track of the data processing execution, evaluate the data quality, reproduce the analysis results, and especially share and re-use workflows. How to take full a...
详细信息
The intrinsic construction project nature of one-of-a-kind and the requirement of massive data exchange make collaboration one of the critical factors towards success. However, due to the complexity of multiple phases...
详细信息
In this paper, a novel softwaretestingevaluation model is proposed for specification based softwaretesting. The proposed model uses Analytic Hierarchy Process (AHP) to analyze the weight of influence each individua...
详细信息
As the weight of the general system characteristics (GSC) in IFPUG method is the same in the different types of software systems. To solve the problem, this article uses the Fuzzy AHP (Analytic Hierarchy Process) appr...
详细信息
The traditional database is designed for the structured data and the complex query. In the environment of the cloud, the scale of data is very large, the data is nonstructured, the request of the data is dynamic, thes...
详细信息
This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics a...
详细信息
ISBN:
(纸本)9781629939254
This paper studies the quality management method in small-size software project. In traditional method, test and evaluation are prerequisite methods to improve the project quality. The paper analyses characteristics and the disadvantages of project management in small-sized software project. Therefore, some quality activities should be considered in small-sized software project. The paper proposed lightweight quality planning, quality execution and quality monitoring activities in project management. Finally, the paper gives practical applications and proves method effective.
In this paper, a novel softwaretestingevaluation model is proposed for specification based softwaretesting. The proposed model uses Analytic Hierarchy Process (AHP) to analyze the weight of influence each individua...
详细信息
In this paper, a novel softwaretestingevaluation model is proposed for specification based softwaretesting. The proposed model uses Analytic Hierarchy Process (AHP) to analyze the weight of influence each individual function unit software, then the model classifies the defect ratio of each function unit based on the weight of influence derived from step one and calculates the final evaluation result of softwaretesting according to the defect ration and influence degree.
Nonfunctional property verification is becoming more and more important to computer system. In recent decades, in order to describe not only the system function but also the system performance, researchers in the area...
详细信息
Nonfunctional property verification is becoming more and more important to computer system. In recent decades, in order to describe not only the system function but also the system performance, researchers in the area of formal methods try to extend Petri net for modelling computer system, and the verification problem becomes the quantitative verification from the qualitative verification. In this paper, we define the reachability graph and present the solution algorithm to reachability graph;then we put forward an algorithm for linear-time temporal logic model checking probabilistic Petri net system;for demonstrating the effectiveness of this algorithm, we run an example in the modelling an verification tool which we developed.
暂无评论