-
1
-
-
11144245087
-
Market research for requirements analysis using linguistic tools
-
Mich, L., Franch, M., Inverardi, P.N.: Market research for requirements analysis using linguistic tools. Requirements Engineering Journal 9, 40-56 (2004)
-
(2004)
Requirements Engineering Journal
, vol.9
, pp. 40-56
-
-
Mich, L.1
Franch, M.2
Inverardi, P.N.3
-
2
-
-
0003547470
-
-
Rumbaugh, J, Jacobson, I, Booch, G, eds, 2nd edn. Addison-Wesley, Reading
-
Rumbaugh, J., Jacobson, I., Booch, G. (eds.): The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)
-
(2004)
The Unified Modeling Language Reference Manual
-
-
-
3
-
-
0003793975
-
Software requirements for the A-7E aircraft
-
3876, Naval Research Laboratory, Washington, DC, USA
-
Henninger, K., Kallander, J., Shore, J., Parnas, D.: Software requirements for the A-7E aircraft. NRL Memorandum Report 3876, Naval Research Laboratory, Washington, DC, USA (1978)
-
(1978)
NRL Memorandum Report
-
-
Henninger, K.1
Kallander, J.2
Shore, J.3
Parnas, D.4
-
4
-
-
0032674648
-
Model checking complete requirements specifications using abstraction
-
Bharadwaj, R., Heitmeyer, C: Model checking complete requirements specifications using abstraction. Automated Software Engineering 6, 37-68 (1999)
-
(1999)
Automated Software Engineering
, vol.6
, pp. 37-68
-
-
Bharadwaj, R.1
Heitmeyer, C.2
-
5
-
-
0030615489
-
The scr method for formally specifying, verifying, and validating requirements: Tool support
-
Heitmeyer, C.L., Kirby, J., Labaw, B.G.: The scr method for formally specifying, verifying, and validating requirements: Tool support. In: Proceedings of the 19th International Conference on Software Engineering ICSE 1997, pp. 610-611 (1997)
-
(1997)
Proceedings of the 19th International Conference on Software Engineering
, vol.ICSE 1997
, pp. 610-611
-
-
Heitmeyer, C.L.1
Kirby, J.2
Labaw, B.G.3
-
7
-
-
77955439979
-
User DRIVEN Design-The Luxury that has Become a Necessity
-
Tutorial, Schaumberg, IL, USA
-
Gause, D.C.: User DRIVEN Design-The Luxury that has Become a Necessity, A Workshop in Full Life-Cycle Requirements Management. ICRE 2000 Tutorial T7, Schaumberg, IL, USA (2000)
-
(2000)
A Workshop in Full Life-Cycle Requirements Management. ICRE
-
-
Gause, D.C.1
-
8
-
-
58449102014
-
Regelwerk natürlichsprachliche methode. Technical report, Sophist
-
Götz, R., Rupp, C: Regelwerk natürlichsprachliche methode. Technical report, Sophist (1999).:http://www. sophist.de
-
-
-
Götz, R.1
Rupp, C.2
-
9
-
-
19144373425
-
The syntactically dangerous all and plural in specifications
-
Berry, D., Kamsties. E.: The syntactically dangerous all and plural in specifications. IEEE Software 22, 55-57 (2005)
-
(2005)
IEEE Software
, vol.22
, pp. 55-57
-
-
Berry, D.1
Kamsties, E.2
-
10
-
-
19144363335
-
From contract drafting to software specification: Linguistic sources of ambiguity
-
Technical report, University of Waterloo, Waterloo, ON, Canada
-
Berry, D., Kamsties, E., Krieger, M.: From contract drafting to software specification: Linguistic sources of ambiguity. Technical report, University of Waterloo, Waterloo, ON, Canada (2003), http://se.uwaterloo.ca/~dberry/handbook/ ambiguityHandbook.pdfi
-
(2003)
-
-
Berry, D.1
Kamsties, E.2
Krieger, M.3
-
13
-
-
25144510255
-
Detecting ambiguities in requirements documents using inspections
-
Lawford, M, Parnas, D.L, eds
-
Kamsties, E., Berry, D., Paech, B.: Detecting ambiguities in requirements documents using inspections. In: Lawford, M., Parnas, D.L. (eds.) Proceedings of the First Workshop on Inspection in Software Engineering (WISE 2001), pp. 68-80 (2001)
-
(2001)
Proceedings of the First Workshop on Inspection in Software Engineering (WISE
, pp. 68-80
-
-
Kamsties, E.1
Berry, D.2
Paech, B.3
-
14
-
-
33947157945
-
-
PhD thesis, Fach-bereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany, also of Ph.D. Theses in Experimental Software Engineering, Fraunhofer IRB Verlag, Stuttgart, Germany
-
Kamsties, E.: Surfacing Ambiguity in Natural Language Requirements. PhD thesis, Fach-bereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany(2001); also Volume 5 of Ph.D. Theses in Experimental Software Engineering, Fraunhofer IRB Verlag, Stuttgart, Germany (2001)
-
(2001)
Surfacing Ambiguity in Natural Language Requirements
, vol.5
-
-
Kamsties, E.1
-
15
-
-
34547275175
-
-
Master's thesis, Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany
-
Denger, C: High quality requirements specifications for embedded systems through authoring rules and language patterns. Master's thesis, Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany (2002)
-
(2002)
High quality requirements specifications for embedded systems through authoring rules and language patterns
-
-
Denger, C.1
-
17
-
-
0030615498
-
Automated analysis of requirement specifications
-
ACM Press, New York
-
Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated analysis of requirement specifications. In: Proceedings of the Nineteenth Internationa] Conference on Software Engineering ICSE 1997, pp. 161-171. ACM Press, New York (1997)
-
(1997)
Proceedings of the Nineteenth Internationa] Conference on Software Engineering
, vol.ICSE 1997
, pp. 161-171
-
-
Wilson, W.M.1
Rosenberg, L.H.2
Hyatt, L.E.3
-
18
-
-
58449123785
-
-
Mich, L., Garigliano, R.: Ambiguity measures in requirement engineering. In: Feng, Y., Notkin, D., Gaudel, M. (eds.) Proceedings of International Conference on Software-Theory and Practice ICS 2000. Sixteenth IFIP World Computer Congress, pp. 39-18. Publishing House of Electronics Industry, Beijing (2000)
-
Mich, L., Garigliano, R.: Ambiguity measures in requirement engineering. In: Feng, Y., Notkin, D., Gaudel, M. (eds.) Proceedings of International Conference on Software-Theory and Practice ICS 2000. Sixteenth IFIP World Computer Congress, pp. 39-18. Publishing House of Electronics Industry, Beijing (2000)
-
-
-
-
19
-
-
50949131690
-
Requirements for tools for ambiguity identification and measurement in natural language requirements specifications
-
Kiyavitskaya, N., Zeni, N., Mich, L., Berry, D.M.: Requirements for tools for ambiguity identification and measurement in natural language requirements specifications. Requirements Engineering Journal 13, 207-240 (2008)
-
(2008)
Requirements Engineering Journal
, vol.13
, pp. 207-240
-
-
Kiyavitskaya, N.1
Zeni, N.2
Mich, L.3
Berry, D.M.4
-
20
-
-
84905816008
-
-
Berry, D.M, Bucchiarone, A, Gnesi, S, Lami, G, Trentanni, G, A new quality model for natural language requirements specifications. In: Proceedings of the International Workshop on Requirements Engineering: Foundation of Software Quality, REFSQ
-
Berry, D.M., Bucchiarone, A., Gnesi, S., Lami, G., Trentanni, G.: A new quality model for natural language requirements specifications. In: Proceedings of the International Workshop on Requirements Engineering: Foundation of Software Quality, REFSQ 2006 (2006)
-
(2006)
, vol.2006
-
-
-
21
-
-
80054114382
-
Extended disambiguation rules for requirements specifications
-
Tjong, S., Hartley, M., Berry, D.: Extended disambiguation rules for requirements specifications. In: Proceedings of Workshop in Requirements Engineering, WER (2007), http://wer.inf.puc-rio.br/index.html;
-
(2007)
Proceedings of Workshop in Requirements Engineering, WER
-
-
Tjong, S.1
Hartley, M.2
Berry, D.3
-
22
-
-
50949113220
-
Avoiding Ambiguity in Requirements Specifications. PhD
-
thesis, Faculty of Engineering & Computer Science, University of Nottingham, Semenyih, Selangor Darul Ehsan, Malaysia
-
Tjong, S.F.: Avoiding Ambiguity in Requirements Specifications. PhD thesis, Faculty of Engineering & Computer Science, University of Nottingham, Malaysia Campus, Semenyih, Selangor Darul Ehsan, Malaysia (2008)
-
(2008)
Malaysia Campus
-
-
Tjong, S.F.1
-
23
-
-
84976824134
-
An experimental natural-language processor for generating data type specifications
-
Comer, J.: An experimental natural-language processor for generating data type specifications. SIGPLAN Notices 18, 25-33 (1983)
-
(1983)
SIGPLAN Notices
, vol.18
, pp. 25-33
-
-
Comer, J.1
-
24
-
-
0021535980
-
Natural language based software development system tell
-
O'Shea, T, ed, Elsevier, Amsterdam
-
Enomoto, H., Yonezaki, N., Saeki, M., Chiba, K., Takizuka, T, Yokoi, T.: Natural language based software development system tell. In: O'Shea, T. (ed.) Advances in Artificial Intelligence, ECAI 1984, pp. 721-731. Elsevier, Amsterdam (1984)
-
(1984)
Advances in Artificial Intelligence
, vol.ECAI 1984
, pp. 721-731
-
-
Enomoto, H.1
Yonezaki, N.2
Saeki, M.3
Chiba, K.4
Takizuka, T.5
Yokoi, T.6
-
25
-
-
58449136577
-
-
Fuchs, N., Schwertel, U., Schwitter, R.: Attempto controlled english (ace) language manual version 3.0. Technical Report No. 99.03, Institut fur Informatik der Universitat Zürich, Zurich, Switzerland (1999)
-
Fuchs, N., Schwertel, U., Schwitter, R.: Attempto controlled english (ace) language manual version 3.0. Technical Report No. 99.03, Institut fur Informatik der Universitat Zürich, Zurich, Switzerland (1999)
-
-
-
-
26
-
-
19144370403
-
Ambiguity in requirements specification
-
Leite, J, Doorn, J, eds, Kluwer, Boston
-
Berry, D.M., Kamsties, E.: Ambiguity in requirements specification. In: Leite, J., Doorn, J. (eds.) Perspectives on Requirements Engineering, pp. 7-44. Kluwer, Boston (2004)
-
(2004)
Perspectives on Requirements Engineering
, pp. 7-44
-
-
Berry, D.M.1
Kamsties, E.2
-
27
-
-
0004196110
-
-
and, Cambridge University Press, Cambridge
-
Lyons, J.: Semantics I and II. Cambridge University Press, Cambridge (1977)
-
(1977)
Semantics
-
-
Lyons, J.1
-
28
-
-
84976738164
-
An experimental study of fault detection in user requirements documents
-
Schneider, G.M., Martin, J., Tsai, W.T.: An experimental study of fault detection in user requirements documents. ACM Transactions on Software Engineering and Methodology 1, 188-204(1992)
-
(1992)
ACM Transactions on Software Engineering and Methodology
, vol.1
, pp. 188-204
-
-
Schneider, G.M.1
Martin, J.2
Tsai, W.T.3
-
32
-
-
85016111200
-
The role of natural language in requirements engineering
-
CA, USA, pp, IEEE Computer Society Press, Los Alamitos
-
Ryan, K.: The role of natural language in requirements engineering. In: Proceedings of the IEEE International Symposium on Requirements Engineering (ISRE 1993), CA, USA, pp.240-242. IEEE Computer Society Press, Los Alamitos (1993)
-
(1993)
Proceedings of the IEEE International Symposium on Requirements Engineering (ISRE
, pp. 240-242
-
-
Ryan, K.1
-
33
-
-
27644490833
-
Quality analysis of NL requirements: An industrial case study
-
Bucchiarone, A., Gnesi, S., Pierini, P.: Quality analysis of NL requirements: An industrial case study. In: Proceedings of the Thirteenth IEEE International Requirements Engineering Conference (RE 2005), pp. 390-394 (2005)
-
(2005)
Proceedings of the Thirteenth IEEE International Requirements Engineering Conference (RE
, pp. 390-394
-
-
Bucchiarone, A.1
Gnesi, S.2
Pierini, P.3
|