Tools for Requirements Management: A Comparison of Telelogic DOORS and the HiVe
暂无分享,去创建一个
[1] Wolfgang Emmerich,et al. The future of requirements management tools , 2000 .
[2] Tony Cant,et al. Design Oriented Verification and Evaluation: The Dove Project , 2002 .
[3] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[4] Markus Wenzel,et al. Isar - A Generic Interpretative Approach to Readable Formal Proof Documents , 1999, TPHOLs.
[5] Graeme Smith. A Logic for Object-z , 1994 .
[6] Luke Wildman. Requirements reformulation using formal specification: a case study , 2002, FME 2002.
[7] Tony Cant,et al. Hierarchical verification environment , 2006 .
[8] Andrew P. Martin,et al. A Set-Theoretic Model for Real-Time Specification and Reasoning , 1998, MPC.
[9] Lawrence Charles Paulson,et al. Isabelle: A Generic Theorem Prover , 1994 .