MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Experiences Using Lightweight Formal Methods for Requirements Modeling." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Experiences Using Lightweight Formal Methods for Requirements Modeling  
  • by Steve Easterbrook Member, Steve Easterbrook, Robyn Lutz, Ieee Computer Society, Ieee Computer Society, Richard Covington, John Kelly, Yoko Ampo, David Hamilton — 1998 — IEEE Transactions on Software Engineering
  • … EASTERBROOK ET AL.: EXPERIENCES USING LIGHTWEIGHT FORMAL METHODS FOR REQUIREMENTS MODELING 3 including Space…
  • Add To MetaCart
  • IEEE Computer  
  • by Society Robyn, Richard Covington, John Kelly, Yoko Ampo, David Hamilton
  • …'8&7,21?76(?##,1352'?-$18$5 Experiences Using Lightweight Formal Methods for Requirements Modeling Steve Easterbrook, Member, IEEE…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB