<div class="description">
<p>This thesis examines the role of independent validation  in the development of software systems. As software systems  become increasingly larger and more complex the role of  software validation becomes crucial. In particular, one must  make sure that the specification of a software system is  correct with respect to customer expectations. We introduce  an approach for developing and validating reuse libraries of  temporal formal specifications. These libraries include UML  statechart based assertions for formal specifications and  their associated validation test scenarios. We build the  validation test scenarios with the goal of ensuring that  specifications within the libraries are indeed error-free  and consistent.
</p>
<br>Subjects: Computer software; Validation; Verification; Reusability; Testing; Development; UML (Computer science)</div>
<div class="fn value">
Sybor, Colleen A.</div>
Internet Archive identifier