Improving natural language specifications with ontologies

Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009

Volumn , Issue , 2009, Pages 552-557

  Körner, Sven J ^a   Brumm, Torben ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

NATURAL LANGUAGE REQUIREMENTS; NATURAL LANGUAGE SPECIFICATIONS; NATURAL LANGUAGES; REASONER; REQUIREMENTS ELICITATION; REQUIREMENTS ENGINEERING PROCESS; USER REQUIREMENTS; WORK-FLOWS;

KNOWLEDGE ENGINEERING; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS;

ONTOLOGY;

EID: 78149331672     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. C. Rupp and R. Goetz, "Psychotherapy for System Requirements," Proceedings of the Second IEEE International Conference on Cognitive Informatics (ICCI '03), 2003.
2. B. H. C. Cheng and J. M. Atlee, "Research Directions in Requirements Engineering," in Proc. Future of Software Engineering FOSE '07, 23-25 May 2007, pp. 285-303.
3. C. Rupp, "Requirements and Psychology," IEEE, May/June 2002, vol. IEEE SOFTWARE, 2002.
4. B. Nuseibeh and S. Easterbrook, "Requirements engineering: a roadmap," in ICSE '00: Proceedings of the Conference on The Future of Software Engineering. New York, NY, USA: ACM Press, 2000, pp. 35-46.
5. G. A. Miller, C. Fellbaum, R. Tengi, P. Wakefield, H. Langone, and B. R. Haskell, "WordNet." [Online]. Available: http://wordnet.princeton.edu/
6. Cycorp Inc., Cyc / ResearchCyc, Cyc.com. [Online]. Available: http://cyc.com/
7. C. Havasi, R. Speer, and J. Alonso, "ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge," in Recent Advances in Natural Language Processing, Borovets, Bulgaria, September 2007. [Online]. Available: http://web.media.mit.edu/~jalonso/cnet3.pdf
8. S. J. Körner and T. Gelhausen, "Improving Automatic Model Creation using Ontologies," in Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering, Knowledge Systems Institute, Ed., Jul. 2008, pp. 691-696.
9. T. Gelhausen and W. F. Tichy, "Thematic Role Based Generation of UML Models from Real World Requirements," in Proc. International Conference on Semantic Computing ICSC 2007, 2007, pp. 282-289.
10. A. van Lamsweerde, R. Darimont, and E. Letier, "Managing conflicts in goal-driven requirements engineering," vol. 24, no. 11, pp. 908-926, Nov. 1998.
11. H. Kaiya and M. Saeki, "Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach," in Proc. Fifth International Conference on Quality Software (QSIC 2005), 19-20 Sept. 2005, pp. 223-230.
12. -, "Using Domain Ontology as Domain Knowledge for Requirements Elicitation," in Proc. th IEEE International Conference Requirements Engineering, 11-15 Sept. 2006, pp. 189-198.
13. M. Saeki, "Ontology-Based Software Development Techniques," ERCIM News, vol. 58, pp. 14-15, 2004.
14. Y. Zhang, R. Witte, J. Rilling, and V. Haarslev, "An ontology-based approach for traceability recovery," 2006.
15. W. Meng, J. Rilling, Y. Zhang, R.Witte, and P. Charland, "An Ontological Software Comprehension Process Model," 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ATEM 2006). October 1st, Genoa, Italy, 2006.
16. H. Liu and P. Singh, "ConceptNet - a practical commonsense reasoning tool-kit," BT Technology Journal, vol. Vol 22, 2004. [Online]. Available: http://larifari.org/writing/BTTJ2004-ConceptNet.pdf
17. Volere, "List of requirement engineering tools," 2009. [Online]. Available: http://www.volere.co.uk/tools.htm
18. S. Konrad and B. H. Cheng, "Facilitating the Construction of Specification Pattern-based Properties," IEEE International Conference on Requirements Engineering, pp. 329-338, 2005.
19. A. Pease and W. Murray, "An English to Logic Translator for Ontology-based Knowledge Representation Languages," IEEE 0-7803-7902-0/03, pp. 777-783, 2003.
20. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw, "Automated Consistency Checking of Requirements Specifications," ACM Trans. Softw. Eng. Methodol., vol. 5, no. 3, pp. 231-261, 1996.
21. A. Fantechi, S. Gnesi, G. Lami, and A. Maccari, "Application of Linguistic Techniques for Use Case Analysis," IEEE International Conference on Requirements Engineering, p. 157, 2002.
22. W. N. Robinson and S. D. Pawlowski, "Managing requirements inconsistency with development goal monitors," vol. 25, no. 6, pp. 816-835, Nov.-Dec. 1999. [Online]. Available: http://www.cis.gsu.edu/~wrobinso/papers/ TSE99.PDF
23. L. Goldin and D. M. Berry, "AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation," Automated Software Engg., vol. 4, no. 4, pp. 375-412, 1997.
24. C. Denger, D. M. Berry, and E. Kamsties, "Higher Quality Requirements Specifications through Natural Language Patterns." Los Alamitos, CA, USA: IEEE Computer Society, 2003, p. 80.
25. N. Kiyavitskaya, N. Zeni, L. Mich, and D. M. Berry, "Requirements for tools for ambiguity identification and measurement in natural language requirements specifications," Requir. Eng., vol. 13, no. 3, pp. 207-239, 2008.
26. M. Ceccato, N. Kiyavitskaya, N. Zeni, L. Mich, and D. M. Berry, "Ambiguity Identification and Measurement in Natural Language Texts." [Online]. Available: http://eprints.biblio.unitn.it/archive/00000727/
27. T. Gelhausen, B. Derre, M. Landhäußer, T. Brumm, and S. J. Körner, "SaleMX Project Website - the Thematic Roles of SALE," 2008. [Online]. Available: http://svn.ipd.uni-karlsruhe.de/trac/mx/wiki/MX/SALE/ ThematicRoles
28. T. Gelhausen, B. Derre, and R. Geiss, "Customizing GrGen.NET for Model Transformation," in GRaMoT '08: Proceedings of the 3rd International Workshop on Graph and Model Transformation. Leipzig, Germany: ACM, May 2008, pp. 17-24. [Online]. Available: http://www.ipd.uka.de/Tichy/uploads/publikationen/ 180/gramot2-gelhausen.pdf
29. Chris Rupp & die SOPHISTen, Requirements-Engineering und Management, 4th ed. Carl Hanser Verlag, 2006.
30. Object Management Group, "Unified Modeling Language: Superstructure Version 2.1.1 16.3 Class Description 16.3.1 Actor," PDF, February 2007. [Online]. Available: http://www.omg.org/docs/formal/07-02-03.pdf
31. W3C, "HTML 4.01 Specification, 17 Forms," December 1999. [Online]. Available: http://www.w3.org/TR/html401/interact/forms.html
32. M. Kroll and R. Geiss, "A Ludo Board Game for the AGTIVE 2007 Tool Contest," 2007. [Online]. Available: http://www.informatik.uni-marburg.de/ ~swt/agtive-contest/Ludo-Karlsruhe.pdf