12 records matched your query       

Author:

Ammann, Paul E.

Title:

Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black.

Format:

[microform] /

Publisher:

U.S. Dept. of CommerceTechnology Administration, National Institute of Standards and Technology,

Copyright Date:

1999

Description:

25 p. : ill.

Reproduction Info:

Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., [1999] 1 microfiche : negative. s1999 dcun b

Subject:

Computer software--Testing.
Computer software--Specifications.

Other Authors:

Black, Paul E.
National Institute of Standards and Technology (U.S.)

Notes:

Shipping list no.: 2000-0148-M. "October 1999." Includes bibliographical references (p. 15-17).

Series:

NISTIR 6405

OCLC:

(OCoLC)43429646

Locations:

USUX851 -- Iowa State University - Parks Library (Ames)

OVUX522 -- University of Iowa Libraries (Iowa City)