Automated Identification of LTL Patterns in Natural Language Requirements
暂无分享,去创建一个
[1] Jane Huffman Hayes,et al. Improving requirements tracing via information retrieval , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
[2] M. F. Porter,et al. An algorithm for suffix stripping , 1997 .
[3] Ian H. Witten,et al. Data mining - practical machine learning tools and techniques, Second Edition , 2005, The Morgan Kaufmann series in data management systems.
[4] Ian Witten,et al. Data Mining , 2000 .
[5] Allen P. Nikora,et al. Classifying requirements: towards a more rigorous analysis of natural-language specifications , 2005, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05).
[6] George S. Avrunin,et al. PROPEL: an approach supporting property elucidation , 2002, ICSE '02.
[7] Ian H. Witten,et al. Data mining: practical machine learning tools and techniques, 3rd Edition , 1999 .
[8] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[9] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[10] Thorsten Brants. TnT - Statistical Part-of-Speech Tagging , 2000 .
[11] George S. Avrunin,et al. From Natural Language Requirements to Rigorous Property Specifications , 2003 .
[12] Jane Huffman Hayes,et al. Helping analysts trace requirements: an objective look , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..
[13] Thorsten Brants,et al. TnT – A Statistical Part-of-Speech Tagger , 2000, ANLP.
[14] Beatrice Santorini,et al. Part-of-Speech Tagging Guidelines for the Penn Treebank Project (3rd Revision) , 1990 .
[15] George S. Avrunin,et al. User guidance for creating precise and accessible property specifications , 2006, SIGSOFT '06/FSE-14.
[16] Beatrice Santorini. Part-of-speech tagging guidelines for the penn treebank project , 1990 .