Guided Requirements Clarification for Automatic Formalization
暂无分享,去创建一个
[1] Betty H. C. Cheng,et al. A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[2] David Lorge Parnas,et al. Really Rethinking 'Formal Methods' , 2010, Computer.
[3] Robert Balzer,et al. Informality in Program Specifications , 1899, IEEE Transactions on Software Engineering.
[4] Dubravka Ilic. Deriving Formal Specifications from Informal Requirements , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
[5] Augusto Sampaio,et al. Automated formal specification generation and refinement from requirement documents , 2010, Journal of the Brazilian Computer Society.
[6] Sunil Vadera,et al. From English to Formal Specifications , 1994, Comput. J..
[7] Hong Zhu,et al. Automatic generation of formal specification from requirements definition , 1997, First IEEE International Conference on Formal Engineering Methods.
[8] Massimiliano Di Penta,et al. An experimental investigation of formality in UML-based development , 2005, IEEE Transactions on Software Engineering.
[9] Benjamin Goldberg,et al. From requirements to specifications , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
[10] Jawed I. A. Siddiqi,et al. Towards a system for the construction, clarification, discovery and formalisation of requirements , 1994, Proceedings of IEEE International Conference on Requirements Engineering.
[11] Daniela E. Damian,et al. Detecting and classifying patterns of requirements clarifications , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).