MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Integrated Structured Analysis and Formal Specification Techniques." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Jonathan P. Bowen, Michael G. Hinchey  
  • by High-Integrity System Specification, Jonathan P. Bowen, Michael G. Hinchey, C. A. R. Hoare — 18
  • … Structured Analysis and Formal Specification Techniques (Semmens, France & Docker…
  • Add To MetaCart
  • High-Integrity System Specification  
  • by Jonathan P. Bowen, Michael G. Hinchey — 1999
  • …. . . . . . . . . . . . . . . . 533 Integrated Structured Analysis and Formal Specification Techniques. The Computer Journal, 35…
  • Add To MetaCart
  • Annotated Z Bibliography  
  • by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
  • …. Yourdon and Z [257] Semmens et al. Integrated structured analysis and formal specification techniques [299…
  • Add To MetaCart
  • Annotated Z Bibliography Jonathan Bowen  
  • by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
  • …. Yourdon and Z [257] Semmens et al. Integrated structured analysis and formal specification techniques [299…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB