This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
Software configuration management is one of the first requirements to achieve quality in the software process. However, these activities are very difficult to be introduced, mainl...
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...