56 pages matching approach in this book
Results 1-3 of 56
What people are saying - Write a review
New Techniques and Their Application
Formal Techniques and Automatic Processing to Ensure Correctness in Requirements Specifications
Notes on Type Abstraction
16 other sections not shown
Other editions - View all
Advance Program. Announcement . SPECIFICATIONS. OF RELIABLE. SOFTWARE. A. conference sponsored by. the. a. IEEE COMPUTER SOCIETY. Technical. Committee ...
ieeexplore.ieee.org/ iel5/ 2/ 34723/ 01658457.pdf
Computer-Aided Requirements Engineering. D. Teichroew. University of Michigan. H. Sayani. Advanced Systems Technology, Inc. Prepared for Presentation in the ...
1996 - 2008, Alan M. Davis. You are visitor number Hit Counter since February 7, 2003 (The site was available online between March 1996 and February 2003 ...
web.uccs.edu/ adavis/ UCCS/ reqbib.htm