Searching for "Formal Specification Generation from Requirement Documents." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Formal Specification Generation from Requirement Documents
by Gustavo Cabral, Augusto Sampaio, Centro De Informática Cin — 2006 — In Proc. of the Brazilian Symposium on Formal Methods (SBMF
…Formal Specification Generation from Requirement Documents Gustavo Cabral 1,2 , Augusto Sampaio 2…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB