Requirements modeling and coding : an object-oriented approach /Author: Liu, Liping
Publisher: London ; World Scientific Publishing Europe Ltd.,
Date: [2021] This title can be found in 1 Iowa libraries.
Designing the requirements : building applications that the user wants and needs /Author: Britton, Chris,
Publisher: New York : Addison-Wesley,
Date: [2016] This title can be found in 1 Iowa libraries.
Generating software from specifications /Author: Kastens, Uwe.
Publisher: Sudbury, Mass. : Jones and Bartlett Publishers,
Date: c2007. This title can be found in 1 Iowa libraries.
Specifying software : a hands-on introduction /Author: Tennent, R. D.,
Publisher: New York : Cambridge University Press,
Date: 2002. This title can be found in 2 Iowa libraries.
Software specification methods : an overview using a case study /Publisher: New York : New York : Springer,
Date: c2001. This title can be found in 1 Iowa libraries.
Mastering the requirements process /Author: Robertson, Suzanne.
Publisher: Reading, Mass. : Reading, Mass. : Addison-Wesley,
Date: 1999. This title can be found in 1 Iowa libraries.
Abstracting formal specifications to generate software tests via model checkingFormat: [microform] /
Author: Ammann, Paul E.
Publisher: Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology,
Date: [1999] This title can be found in 2 Iowa libraries.
Specification of software systems /Author: Alagar, Vangalur S.,
Publisher: New York : Springer,
Date: c1998. This title can be found in 2 Iowa libraries.
Guide to software engineering standards and specifications /Author: Magee, Stan.
Publisher: Boston : Artech House,
Date: c1997. This title can be found in 1 Iowa libraries.
Software specification : a comparison of formal methods /Author: Gannon, John D.,
Publisher: Norwood, N.J. : Ablex Pub. Co.,
Date: c1994. This title can be found in 1 Iowa libraries.
A specification system for statistical software /Author: Jong, V. J. de
Publisher: Amsterdam, the Netherlands : Centrum voor Wiskunde en Informatica,
Date: c1989. This title can be found in 1 Iowa libraries.
YOU MAY BORROW ITEMS YOU FIND IN THE SILO LOCATOR THROUGH YOUR
LOCAL PUBLIC LIBRARY.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.