Information Technology Reference
In-Depth Information
by all stakeholders, specifications in natural language entail a lot of problems with poor
phrasings, inconsistencies, and missing information.
The approach presented in our paper analyzes missing information in behavior speci-
fications and automatically generates questions addressing these findings. As evaluated
in our experiment, the generated questions can address specification deficiencies that
would otherwise be overseen by human analysts. Thus, the presented method should be
one of the means to ensure the quality of requirements specifications.
Acknowledgments
We want to thank the participants of the experiment: Mou Dongyue, Florian Holzl,
Maged Khalil, Alexander Krauss, Christian Leuxner, Daniel Mendez Fernandez, David
Trachtenherz, and Andreas Vogelsang.
References
1. Mich, L., Franch, M., Novi Inverardi, P.: Market research on requirements analysis using
linguistic tools. Requirements Engineering 9(1), 40-56 (2004)
2. Kof, L., Schatz, B.: Combining aspects of reactive systems. In: Broy, M., Zamulin, A.V.
(eds.) PSI 2003. LNCS, vol. 2890, pp. 344-349. Springer, Heidelberg (2004)
3. Kof, L.: Scenarios: Identifying missing objects and actions by means of computational lin-
guistics. In: 15th IEEE International Requirements Engineering Conference, October 15-19,
pp. 121-130. IEEE Computer Society Conference Publishing Services, New Delhi (2007)
4. Kof, L.: From Textual Scenarios to Message Sequence Charts: Inclusion of Condition
Generation and Actor Extraction. In: 16th IEEE International Requirements Engineering
Conference, September 10-12, pp. 331-332. IEEE Computer Society Conference Publish-
ing Services, Barcelona (2008)
5. Buhr, K., Heumesser, N., Houdek, F., Omasreiter, H., Rothermehl, F., Tavakoli,
R., Zink, T.: DaimlerChrysler demonstrator: System specification instrument cluster
(2004),
http://www.empress-itea.org/deliverables/D5.1_Appendix_
B_v1.0_Public_Version.pdf
(accessed 16.02.2010)
6. Kof, L.: Translation of Textual Specifications to Automata by Means of Discourse Context
Modeling. In: Glinz, M., Heymans, P. (eds.) REFSQ 2009. LNCS, vol. 5512, pp. 197-211.
Springer, Heidelberg (2009)
7. Abrial,J.-R.,Borger, E., Langmaack, H.: The steam boiler case study: Competition of formal
program specification and development methods. In: Abrial, J.-R., B orger, E., Langmaack, H.
(eds.) Dagstuhl Seminar 1995. LNCS, vol. 1165. Springer, Heidelberg (1996),
citeseer.
nj.nec.com/abrial96steam.html
8. Clark, S., Curran, J.R.: Parsing the WSJ using CCG and log-linear models. In: ACL 2004:
Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics, p.
103. Association for Computational Linguistics, Morristown (2004)
9. Gleich, B., Creighton, O., Kof, L.: Ambiguity detection: Towards a tool explaining ambigu-
ity sources. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol. 6182. Springer,
Heidelberg (2010)
10. Berry, D.M., Kamsties, E., Krieger, M.M.: From contract drafting to software spec-
ification: Linguistic sources of ambiguity,
http://se.uwaterloo.ca/
˜
dberry/
handbook/ambiguityHandbook.pdf
(accessed 18.11.2004)
