Searching for "Model Checking Complete Requirements Specifications Using Abstraction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model Checking Complete Requirements Specifications Using Abstraction
by Ramesh Bharadwaj, Constance L. Heitmeyer — 1999 — Automated Software Engineering
…. Manufactured in The Netherlands. Model Checking Complete Requirements Specifications Using Abstraction RAMESH…
Cited by 57 (18 self) – Add To MetaCart

Requirements Capture, Documentation, and Validation
by B. Hörger, B. Hrger, D. L. Parnas, H. D. Rombach — 1999
…. References 1. R. Bharadwaj and C. Heitmeyer. Model checking complete requirements specifications using…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB