User guidance for creating precise and accessible property specifications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2006, Pages 208-218

  Cobleigh, Rachel L ^a   Avrunin, George S ^a   Clarke, Lori A ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

Property specifications

Indexed keywords

FINITE AUTOMATA; NATURAL LANGUAGE PROCESSING SYSTEMS; TREES (MATHEMATICS);

QUESTION TREE; USER GUIDANCE;

CODES (STANDARDS);

EID: 34547365182     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181775.1181801     Document Type: Conference Paper

References (21)

1. S. S. Ali. A logical language for natural language processing. In Proc. of the Tenth Biennial Canadian Artificial Intelligence Conf., Banff, Alberta, Canada, May 1994.
2. V. Ambriola and V. Gervasi. On the systematic analysis of natural language requirements with CIRCE. Automated Software Eng., 13(1):107-167, Jan. 2006.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
4. J. C. Corbett and G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods in System Design, 6(1):97-123, Jan. 1995.
5. C. Denger, D. M. Berry, and E. Kamsties. Higher quality requirements specifications through natural language patterns. In Proc. of the IEEE Int. Conf. on Software - Sci. Tech. and Eng., pages 80-91, Nov. 2003.
6. D. Drusinsky. Visual formal specification using (N)TLCharts: Statechart automata with temporal logic and natural language conditioned transitions. In Int. Workshop on Parallel and Distributed Systems: Testing and Debugging, Santa Fe, NM, Apr. 2004.
7. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Property specification patterns web site. http://www.cis.ksu.edu/santos/spec-patterns/.
8. st Int. Conf. on Software Eng., pages 411-420, Los Angeles, CA, May 1999.
9. M. B. Dwyer, L. A. Clarke, J. M. Cobleigh, and G. Naumovich. Flow analysis for verifying properties of concurrent software systems. A CM Trans. on Software Eng. and Methodology, 13(4):359-430, Oct. 2004.
10. N. E. Fuchs, U. Schwertel, and R. Schwitter. Attempto Controlled English - not just another logic specification language. In Proc. of the Eighth Int. Workshop on Logic-based Program Synthesis and Transformation, pages 1-20, June 1998.
11. V. Gervasi and D. Zowghi. Reasoning about inconsistencies in natural language requirements. ACM Trans. on Software Eng. and Methodology, 14(3):277-330, July 2005.
12. C. L. Heitmeyer. Software Cost Reduction. In J. J. Marciniak, editor, Encyc. of Software Eng. Wiley-Interscience, Jan. 2002.
13. G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Eng., 23(5):279-294, May 1997.
14. th Int. Conf. on Software Eng., pages 372-381, May 2005.
15. K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, 1993.
16. L. Mich, M. Franch, and P. Novi Inverardi. Market research for requirements analysis using linguistic tools. Req. Eng. J., 9(1):40-56, Feb. 2004.
17. O. Mondragon and A. Gates. Supporting elicitation and specification of software properties through patterns and composite propositions. Int. J. of Software Eng. and Knowledge Eng., 14(1):21-41, Feb. 2004.
18. O. Mondragon, A. Q. Gates, and O. Sokolsky. Generating properties for runtime monitoring from software specification patterns. Technical Report UTEP-CS-04-21, U. of Texas at El Paso, 2004.
19. M. H. Smith, G. J. Holzmann, and K. Etessami. Events and constraints: A graphical editor for capturing logic requirements of programs. In Proc. of the Fifth IEEE Int. Symp. on Req. Eng., pages 14-22, Aug. 2001.
20. th Int. Conf. on Software Eng., pages 11-21, Orlando, FL, May 2002.
21. A. van Lamsweerde. Formal specification: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering, pages 147-159. ACM Press, June 2000.