-
1
-
-
0020845864
-
Program design by informal English descriptions
-
Abbott, R. J. Program design by informal English descriptions. Communications of the ACM 26, 11 (1983), 882-894.
-
(1983)
Communications of the ACM
, vol.26
, Issue.11
, pp. 882-894
-
-
Abbott, R.J.1
-
2
-
-
21444460551
-
The steam boiler case study: Competition of formal program specification and development methods
-
J.-R. Abrial, E. Borger, and H. Langmauck, Eds., vol. 1165 of LNCS, Springer-Verlag
-
Abrial, J.-R., Borger, E., and Langmauck, H. The steam boiler case study: Competition of formal program specification and development methods. In Formal Methods for Industrial Applications (1996). J.-R. Abrial, E. Borger, and H. Langmauck, Eds., vol. 1165 of LNCS, Springer-Verlag, http://www.inrbr-matik.uni-kiel.de/procos/dag9523/dag9523.html.
-
(1996)
Formal Methods for Industrial Applications
-
-
Abrial, J.-R.1
Borger, E.2
Langmauck, H.3
-
3
-
-
49749113957
-
Linguistic instruments for the integration of scenarios in requirement engineering
-
Barcelona, Catalonia, June 16-17, P. R. Cohen and W. Wahlster, Eds.
-
Ben Achour, C. Linguistic instruments for the integration of scenarios in requirement engineering. Proceedings of the Third International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ '97) (Barcelona, Catalonia, June 16-17 1997), P. R. Cohen and W. Wahlster, Eds.
-
(1997)
Proceedings of the Third International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ '97)
-
-
Ben Achour, C.1
-
5
-
-
0347723235
-
-
Bies, A., Ferguson, M., Katz, K., and MacIntyre, R. Bracketing guidelines for treebank ii style penn treebank project, 1995. http://www.cis.upenn.edu!treebank/home.html.
-
(1995)
Bracketing Guidelines for Treebank Ii Style Penn Treebank Project
-
-
Bies, A.1
Ferguson, M.2
Katz, K.3
MacIntyre, R.4
-
7
-
-
58049165381
-
-
Buhr, K., Heumesser, N., Houdek, F., Omasreiter, H., Rothermehl, F., Tavakoli, R., and Zink, T. DaimlerChrysler demonstrator: System specification instrument cluster. http://www.empress-itea.org/deliverables/D5.1_Appendix_B_vl.O_Public_Version. pdf.
-
DaimlerChrysler Demonstrator: System Specification Instrument Cluster
-
-
Buhr, K.1
Heumesser, N.2
Houdek, F.3
Omasreiter, H.4
Rothermehl, F.5
Tavakoli, R.6
Zink, T.7
-
8
-
-
0020746047
-
English sentence structure and entity-relationship diagram
-
May
-
Chen, P. English sentence structure and entity-relationship diagram. Information Sciences 1, 1 (May 1983), 127-149.
-
(1983)
Information Sciences
, vol.1
, Issue.1
, pp. 127-149
-
-
Chen, P.1
-
10
-
-
84960340124
-
The linguistic approach to the natural language requirements quality: Benefit of the use of an automatic tool
-
Greenbelt, Maryland, IEEE Computer Society
-
Fabbrini, F., Fusani, M., Gnesi, S., and Lami, G. The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool. 26th Annual NASA Goddard Software Engineering Workshop (Greenbelt, Maryland, 2001), IEEE Computer Society, pp. 97-105.
-
(2001)
26th Annual NASA Goddard Software Engineering Workshop
, pp. 97-105
-
-
Fabbrini, F.1
Fusani, M.2
Gnesi, S.3
Lami, G.4
-
11
-
-
23144440083
-
ASIUM: Learning subcategorization frames and restrictions of selection
-
Chemnitz Germany, April 1998, Y. Kodratoff, Ed.
-
Faure, D., and Nédellec, C. ASIUM: Learning subcategorization frames and restrictions of selection. 10th European Conference on Machine Learning (ECML 98) - Workshop on Text Mining (Chemnitz Germany, April 1998 1998), Y. Kodratoff, Ed.
-
(1998)
10th European Conference on Machine Learning (ECML 98) - Workshop on Text Mining
-
-
Faure, D.1
Nédellec, C.2
-
12
-
-
37349068508
-
Attempto controlled english (ACE) language manual, version 3.0
-
Department of Computer Science. University of Zurich. August, accessed 21.05.2004
-
Fuchs, N. E., Schwertel, U., and Schwitter, R. Attempto Controlled English (ACE) language manual, version 3.0. Tech. Rep. 99.03, Department of Computer Science. University of Zurich. August 1999. http://www.ifi.unizh.ch/attempto/publications/papers/ace3_manual.pdf, accessed 21.05.2004.
-
(1999)
Tech. Rep. 99.03
-
-
Fuchs, N.E.1
Schwertel, U.2
Schwitter, R.3
-
13
-
-
0033720471
-
Lightweight validation of natural language requirements: A case study
-
IEEE Computer Society Press
-
Gervasi, V., and Nuseibeh, B. Lightweight validation of natural language requirements: a case study. 4th International Conference on Requirements engineering (2000). IEEE Computer Society Press, pp. 140-148.
-
(2000)
4th International Conference on Requirements Engineering
, pp. 140-148
-
-
Gervasi, V.1
Nuseibeh, B.2
-
14
-
-
0031259336
-
AbstFinder, a prototype natural language text abstraction finder for use in requirements elicitation
-
Goldin, L., and Berry, D. M. AbstFinder, a prototype natural language text abstraction finder for use in requirements elicitation. Automated Software Eng. 4, 4 (1997). 375-412.
-
(1997)
Automated Software Eng.
, vol.4
, Issue.4
, pp. 375-412
-
-
Goldin, L.1
Berry, D.M.2
-
15
-
-
30844441070
-
An algorithm for pronominal anaphora resolution
-
Lappin, S., and Leass, H. J. An algorithm for pronominal anaphora resolution. Comput. Linguist. 20, 4 (1994), 535-561.
-
(1994)
Comput. Linguist.
, vol.20
, Issue.4
, pp. 535-561
-
-
Lappin, S.1
Leass, H.J.2
-
16
-
-
0001820676
-
Discovering conceptual relations from text. ECAI 2000
-
Berlin, W.Horn, Ed., IOS Press. Amsterdam
-
Maedche, A., and Staab, S. Discovering conceptual relations from text. ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence (Berlin, 2000), W.Horn, Ed., IOS Press. Amsterdam, pp. 321-325.
-
(2000)
Proceedings of the 14th European Conference on Artificial Intelligence
, pp. 321-325
-
-
Maedche, A.1
Staab, S.2
-
17
-
-
11144245087
-
Market research on requirements analysis using linguistic tools
-
Mich, L., Franch, M., and Novi Inverardi, P. Market research on requirements analysis using linguistic tools. Requirements Engineering 9, 1(2004), 40-56.
-
(2004)
Requirements Engineering
, vol.9
, Issue.1
, pp. 40-56
-
-
Mich, L.1
Franch, M.2
Novi Inverardi, P.3
-
18
-
-
84942594774
-
The ATRACT workbench: Automatic term recognition and clustering for terms
-
Zelená Ruda, Czech Republic, September, vol. 2166 of LNAI, Springer
-
Mima, H., Ananiadou, S., and Nenadic G. The ATRACT workbench: Automatic term recognition and clustering for terms. Text, Speech and Dialogue, 4th International Conference (Zelená Ruda, Czech Republic, September 2001), vol. 2166 of LNAI, Springer, pp. 126-133.
-
(2001)
Text, Speech and Dialogue, 4th International Conference
, pp. 126-133
-
-
Mima, H.1
Ananiadou, S.2
Nenadic, G.3
-
20
-
-
11144235310
-
A feasibility study of automated natural language requirements analysis in market-driven development
-
Natt och Dag, J., Regnell, B., Carlshamre, P., Andersson, M., and Karlsson, J. A feasibility study of automated natural language requirements analysis in market-driven development. Requirements Engineering 7, 1 (2002), 20-33.
-
(2002)
Requirements Engineering
, vol.7
, Issue.1
, pp. 20-33
-
-
Natt Och Dag, J.1
Regnell, B.2
Carlshamre, P.3
Andersson, M.4
Karlsson, J.5
-
21
-
-
0038068761
-
Automatic discovery of term similarities using pattern mining
-
Taipei, Taiwan
-
Nenadic, G., Spasic, I., and Ananiadou, S. Automatic discovery of term similarities using pattern mining. Proceedings of CompuTerm 2002 (Taipei, Taiwan, 2002), pp. 43-49.
-
(2002)
Proceedings of CompuTerm 2002
, pp. 43-49
-
-
Nenadic, G.1
Spasic, I.2
Ananiadou, S.3
-
22
-
-
84948481845
-
An algorithm for suffix stripping
-
accessed 14.07.2003
-
Porter, M. An algorithm for suffix stripping. Program 14, 3 (1980). 130-137. http://www.tartarus.org/martin/Porter-Steitimer/ accessed 14.07.2003.
-
(1980)
Program
, vol.14
, Issue.3
, pp. 130-137
-
-
Porter, M.1
-
24
-
-
0032027719
-
Guiding the construction of textual use case specifications
-
March
-
Rolland, C., and ben Achour, C. Guiding the construction of textual use case specifications. Data & Knowledge Engineering Journal 25, 1-2 (March 1998), 125-160.
-
(1998)
Data & Knowledge Engineering Journal
, vol.25
, Issue.1-2
, pp. 125-160
-
-
Rolland, C.1
Ben Achour, C.2
-
27
-
-
0024663858
-
Software development process from natural language specification
-
ACM Press
-
Saeki, M., Horai, H., and Enomoto, H. Software development process from natural language specification. Proceedings of the Ilrh international conference on Software engineering (1989), ACM Press, pp. 64-73.
-
(1989)
Proceedings of the Ilrh International Conference on Software Engineering
, pp. 64-73
-
-
Saeki, M.1
Horai, H.2
Enomoto, H.3
-
28
-
-
0031270195
-
Mining generalized association rules
-
Srikant, R.,and Agrawal, R. Mining generalized association rules. Future Generation Computer Systems 13, 2-3 (1997), 161-180.
-
(1997)
Future Generation Computer Systems
, vol.13
, Issue.2-3
, pp. 161-180
-
-
Srikant, R.1
Agrawal, R.2
-
29
-
-
0028740893
-
From English to formal specifications
-
Vadera, S., and Meziane, F. From English to formal specifications. The Computer Journal 37, 9(1994), 753-763.
-
(1994)
The Computer Journal
, vol.37
, Issue.9
, pp. 753-763
-
-
Vadera, S.1
Meziane, F.2
|