|
| |
Background information
Publications
Technical Reports
ESpec
-- a Tool for Agile Development via Early Testable Specifications
Papers
Jonathan Ostroff,
Faraz Ahmadi Torshizi: Testable Requirements and Specifications, Invited Paper,
LNCS 4454, Tests and Proofs (TAP 2007)
Jonathan
Ostroff, Chen-Wei Wang, Eric Kerfoot, and Faraz Ahmadi Torshizi: Automated
Model-based Verification of Object-Oriented Code, (VSTTE 2006)
Agile Specification Driven Development
Posters
Jonathan Ostroff,
Chen-Wei Wang, Faraz Ahmadi Torshizi, and Eric Kerfoot: ES-Verify: A Tool for
Automated Model-based Verification of Object-Oriented Code, Posters & Research
Tool Demonstrations, (FM'06)
|
