Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications
暂无分享,去创建一个
[1] Ian Sommerville,et al. Software engineering (6th ed.) , 2001 .
[2] Kent L. Beck,et al. Extreme programming explained - embrace change , 1990 .
[3] Nancy G. Leveson,et al. Investigating the readability of state-based formal requirements specification languages , 2002, ICSE '02.
[4] Robert L. Glass. The mystery of formal methods disuse , 2004, CACM.
[5] Sebastián Uchitel,et al. Synthesis of Behavioral Models from Scenarios , 2003, IEEE Trans. Software Eng..
[6] Daniel Amyot,et al. Use case maps for the capture and validation of distributed systems requirements , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).
[7] Johann Schumann,et al. Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[8] Rick Mugridge,et al. Fit for Developing Software: Framework for Integrated Tests (Robert C. Martin) , 2005 .
[9] A. Jefferson Offutt,et al. SOFL: A Formal Engineering Methodology for Industrial Applications , 1998, IEEE Trans. Software Eng..
[10] Markus Lepper,et al. Using use cases in Executable Z , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.
[11] Petra Malik,et al. CZT: A Framework for Z Tools , 2005, ZB.
[12] Wolfgang Grieskamp,et al. A Modular Framework for the Integration of Heterogeneous Notations and Tools , 1999, IFM.
[13] John A. McDermid,et al. CADi: An architecture for Z tools and its implementation , 1995, Softw. Pract. Exp..
[14] Pierre Dupont,et al. Generating annotated behavior models from end-user scenarios , 2005, IEEE Transactions on Software Engineering.
[15] Kent L. Beck,et al. Test-driven Development - by example , 2002, The Addison-Wesley signature series.
[16] J. Zull. The Art of Changing the Brain , 2023 .