Learn More
Traceability analysis is a technique that enables the verification of software requirements within the software life cycle. Within a context where there is a lack of common understanding of what must be traced, a number of methods have been proposed to implement software requirements traceability analysis, many of these methods dealing with software(More)
This paper examines current approaches to usability metrics and proposes a new approach for quantifying software quality in use, based on modeling the dynamic relationships of the attributes that affect software usability. The Quality in Use Integrated Map (QUIM) is proposed for specifying and identifying quality in use components, which brings together(More)
This paper presents an application of full function point analysis to the estimation of the size of real-time control software. The full function point counting technique is briefly described. Its usage is illustrated on a part of the Westinghouse Reactor Protection Control System and the results analyzed. We further describe a technique for the graphical(More)
Assessing software product quality has become more and more relevant and important to managers, even though it is still challenging to define and measure the detailed quality criteria and to integrate them into quality models. Software engineering standards can help establish a common language for these detailed criteria and, in parallel, implement a model(More)
Many standards mandating verification of requirements correctness do not comprehensively state what information should be captured and used for verification and quality assurance activities. Therefore, a wide range of methods, from simplistic checklists to comprehensive formal methods, is used to verify correctness of system a nd software requirements. In(More)
  • 1