Automatic support for formal specification construction using pattern knowledge
暂无分享,去创建一个
Xi Wang | Weikai Miao | Weikai Miao | Xi Wang
[1] Xudong He,et al. An approach for specification construction using property-preserving refinement patterns , 2008, SAC '08.
[2] Michael Butler,et al. U2B - A tool for translating UML-B models into B , 2004 .
[3] Sophie Dupuy-Chessa,et al. An Overview of RoZ: A Tool for Integrating UML and Z Specifications , 2000, CAiSE.
[4] B.H.C. Cheng,et al. Real-time specification patterns , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[5] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[6] Kanth Miriyala,et al. Automatic Derivation of Formal Software Specifications From Informal Descriptions , 1991, IEEE Trans. Software Eng..
[7] Betty H. C. Cheng,et al. Facilitating the construction of specification pattern-based properties , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).
[8] Ann Q. Gates,et al. Automated Support for Property Specification Based on Patterns , 2003, International Conference on Software Engineering and Knowledge Engineering.
[9] 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.
[10] Susan Stepney,et al. An Outline Pattern Language for Z: Five Illustrations and Two Tables , 2003, ZB.
[11] John Kelly,et al. Experiences Using Lightweight Formal Methods for Requirements Modeling , 1998, IEEE Trans. Software Eng..
[12] Jocelyn Armarego,et al. Requirements Engineering: a close look at industry needs and a model curricula , 2005, Australas. J. Inf. Syst..
[13] Sunil Vadera,et al. From English to Formal Specifications , 1994, Comput. J..
[14] Shaoying Liu,et al. Formal Engineering for Industrial Software Development , 2004, Springer Berlin Heidelberg.