-
1
-
-
0020845864
-
Program design by informal English description
-
Abbott A (1983) Program design by informal English description. CACM 16(11):882-894
-
(1983)
CACM
, vol.16
, Issue.11
, pp. 882-894
-
-
Abbott, A.1
-
4
-
-
23844547594
-
The KeY tool
-
Ahrendt W, Baar T, Beckert B, Bubel R, Giese M, Hähnle R, Menzel W, Mostowski W, Roth A, Schlager S, Schmitt PH (2005) The KeY tool. Softw Syst Model 4(1):32-54
-
(2005)
Softw Syst Model
, vol.4
, Issue.1
, pp. 32-54
-
-
Ahrendt, W.1
Baar, T.2
Beckert, B.3
Bubel, R.4
Giese, M.5
Hähnle, R.6
Menzel, W.7
Mostowski, W.8
Roth, A.9
Schlager, S.10
Schmitt, P.H.11
-
5
-
-
34547329544
-
-
Technical Report TR03 -05, University of Pisa, Dipartimento di Informatica, March 2003
-
Ambriola V, Gervasi V (2003) The CIRCE approach to the systematic analysis of natural language requirements, Technical Report TR03 -05, University of Pisa, Dipartimento di Informatica, March 2003, http://citeseer.ist.psu.edu/ambriola03circe.html
-
(2003)
The CIRCE Approach to the Systematic Analysis of Natural Language Requirements
-
-
Ambriola, V.1
Gervasi, V.2
-
6
-
-
38549105579
-
Generating natural language from UML class diagrams
-
Master Thesis, University of Salford, School of Computing, Science and Engineering, UK
-
Athanasakis N (2006) Generating natural language from UML class diagrams. Master Thesis, University of Salford, School of Computing, Science and Engineering, UK
-
(2006)
-
-
Athanasakis, N.1
-
9
-
-
0022670294
-
Object Oriented development
-
Booch G (1986) Object Oriented development. IEEE Trans Softw Eng 12(2):211-221
-
(1986)
IEEE Trans Softw Eng
, vol.12
, Issue.2
, pp. 211-221
-
-
Booch, G.1
-
12
-
-
84867919822
-
Transformation-based error-driven learning and natural language processing: A case study in part-of-speech tagging
-
Brill E (1995) Transformation-based error-driven learning and natural language processing: A case study in part-of-speech tagging. Comput Linguist 21(4):543-565
-
(1995)
Comput Linguist
, vol.21
, Issue.4
, pp. 543-565
-
-
Brill, E.1
-
14
-
-
33745148054
-
Improving the natural language translation of formal software specifications
-
Master Thesis, Chalmers University of Technology, Gothenburg, Sweden
-
Burke DA (2004) Improving the natural language translation of formal software specifications, Master Thesis, Chalmers University of Technology, Gothenburg, Sweden
-
(2004)
-
-
Burke, D.A.1
-
15
-
-
33745128779
-
Translating formal software specifications to natural language: A grammar-based approach
-
In: Bordeaux, France, April 2005
-
Burke D, Johannisson K (2005) Translating formal software specifications to natural language: A grammar-based approach. In: Proceedings of the logical aspects of computational linguistics conference, Bordeaux, France, April 2005, pp 51-66
-
(2005)
Proceedings of the Logical Aspects of Computational Linguistics Conference
, pp. 51-66
-
-
Burke, D.1
Johannisson, K.2
-
18
-
-
84976766949
-
The entity-relationship model: Toward a unified view of data
-
Chen PPS (1976) The entity-relationship model: Toward a unified view of data. ACM Trans Database Syst 1(3):9-36
-
(1976)
ACM Trans Database Syst
, vol.1
, Issue.3
, pp. 9-36
-
-
Chen, P.P.S.1
-
19
-
-
0020746047
-
English sentence structure and entity-relationship diagrams
-
Chen PPS (1983) English sentence structure and entity-relationship diagrams. Inf Syst 29:127-149
-
(1983)
Inf Syst
, vol.29
, pp. 127-149
-
-
Chen, P.P.S.1
-
21
-
-
0007549372
-
-
Technical Report CMU/SE1-92-TR-12 ESC-TR-92-012, Software Engineering Institute, Carnegie Mellon University Pittsburgh, Pennsylvania 15213
-
Christel MG, Kang KC (1992) Issues in requirements elicitation, Technical Report CMU/SE1-92-TR-12 ESC-TR-92-012, Software Engineering Institute, Carnegie Mellon University Pittsburgh, Pennsylvania 15213
-
(1992)
Issues in Requirements Elicitation
-
-
Christel, M.G.1
Kang, K.C.2
-
22
-
-
38549101562
-
Aggregation in natural language generation
-
In: Springer, Heidelberg
-
Dalianis H, Hovy E (1993) Aggregation in natural language generation. In: Lecture notes in computer science, vol 1036, Springer, Heidelberg, pp 88-105
-
(1993)
Lecture Notes in Computer Science
, vol.1036
, pp. 88-105
-
-
Dalianis, H.1
Hovy, E.2
-
23
-
-
84928885277
-
Generating a Controlled Language
-
In: Mitzpe Ramon, Israel
-
Danlos L, Lapalme G, Lux V (2000) Generating a Controlled Language. In: Proceedings of the first international conference on Natural language generation, vol 14. Mitzpe Ramon, Israel, pp 141-147
-
(2000)
Proceedings of the First International Conference on Natural Language Generation
, vol.14
, pp. 141-147
-
-
Danlos, L.1
Lapalme, G.2
Lux, V.3
-
27
-
-
0004289791
-
-
Fellbaum C (ed) MIT Press, Cambridge
-
Fellbaum C (ed) (1998) WordNet: An electronic lexical database, MIT Press, Cambridge. http://wordnet.princeton.edu/
-
(1998)
WordNet: An Electronic Lexical Database
-
-
-
29
-
-
33745172461
-
Reasoning about inconsistencies in natural language requirements
-
Gervasi AV, Zowghi AD (2005) Reasoning about inconsistencies in natural language requirements. ACM Trans Softw Eng Methodol 14(3):277-330
-
(2005)
ACM Trans Softw Eng Methodol
, vol.14
, Issue.3
, pp. 277-330
-
-
Gervasi, A.V.1
Zowghi, A.D.2
-
30
-
-
0028409534
-
Using natural language processing to produce weather forecasts
-
Goldberg E, Driedger N, Kitteridge R (1994) Using natural language processing to produce weather forecasts. IEEE Expert 9(2):45-53
-
(1994)
IEEE Expert
, vol.9
, Issue.2
, pp. 45-53
-
-
Goldberg, E.1
Driedger, N.2
Kitteridge, R.3
-
31
-
-
0031259336
-
AbstFinder, A prototype natural language text abstraction finder for use in requirements elicitation
-
Goldin L, Berry DM (1997) AbstFinder, A prototype natural language text abstraction finder for use in requirements elicitation. Autom Softw Eng 4(4):375-412
-
(1997)
Autom Softw Eng
, vol.4
, Issue.4
, pp. 375-412
-
-
Goldin, L.1
Berry, D.M.2
-
32
-
-
0012854098
-
Building Object-Oriented conceptual models using natural language processing techniques
-
PhD Thesis, Department of Computer Science, University of Sheffield, UK
-
Harmain HM (2000) Building Object-Oriented conceptual models using natural language processing techniques, PhD Thesis, Department of Computer Science, University of Sheffield, UK
-
(2000)
-
-
Harmain, H.M.1
-
33
-
-
0037385209
-
CM-Builder: A natural language-based CASE tool for object-oriented analysis
-
Harmain HM, Gaizauskas R (2003) CM-Builder: A natural language-based CASE tool for object-oriented analysis. Autom Softw Eng J 10(2):157-181
-
(2003)
Autom Softw Eng J
, vol.10
, Issue.2
, pp. 157-181
-
-
Harmain, H.M.1
Gaizauskas, R.2
-
36
-
-
33846020361
-
Formal and Informal Software Specifications
-
PhD Thesis, Department of Computing Science, Götenborg University
-
Johannisson K (2005) Formal and Informal Software Specifications. PhD Thesis, Department of Computing Science, Götenborg University
-
(2005)
-
-
Johannisson, K.1
-
38
-
-
34748874249
-
Text analysis for requirements engineering
-
PhD Thesis, Institut für Informatik der Technischen Universität München, Germany
-
Kof L (2006) Text analysis for requirements engineering, PhD Thesis, Institut für Informatik der Technischen Universität München, Germany
-
(2006)
-
-
Kof, L.1
-
39
-
-
33745830856
-
Automated analysis of natural language properties for UML models
-
Konrad S, Cheng BHC (2005) Automated analysis of natural language properties for UML models. MoDELS Satellite Events, pp 48-57
-
(2005)
MoDELS Satellite Events
, pp. 48-57
-
-
Konrad, S.1
Cheng, B.H.C.2
-
41
-
-
0242578047
-
How software engineers use documentation: The state of the practice
-
Lethbridge T, Singer J, Forward A (2003) How software engineers use documentation: The state of the practice, IEEE Software, pp 35-39
-
(2003)
IEEE Software
, pp. 35-39
-
-
Lethbridge, T.1
Singer, J.2
Forward, A.3
-
43
-
-
0022863573
-
Intelligent support for software specification and design
-
Lubars MD, Harandi MT (1986) Intelligent support for software specification and design. IEEE Expert 1(4):33-41
-
(1986)
IEEE Expert
, vol.1
, Issue.4
, pp. 33-41
-
-
Lubars, M.D.1
Harandi, M.T.2
-
49
-
-
0012869316
-
From English to formal specifications
-
PhD Thesis, University of Salford
-
Meziane F (1994) From English to formal specifications, PhD Thesis, University of Salford
-
(1994)
-
-
Meziane, F.1
-
50
-
-
0030157306
-
NL-OOPS: From natural language to object oriented requirements using the natural language processing system LOLITA
-
Mich L (1996) NL-OOPS: From natural language to object oriented requirements using the natural language processing system LOLITA. Nat Lang Eng 2(2):161-187
-
(1996)
Nat Lang Eng
, vol.2
, Issue.2
, pp. 161-187
-
-
Mich, L.1
-
52
-
-
0034173997
-
Formal justification in object-oriented modelling: A linguistic approach
-
Moreno AC, Juristo N, Van RP de Riet (2002) Formal justification in object-oriented modelling: A linguistic approach. Data Knowledge Eng 33(2):25-47
-
(2002)
Data Knowledge Eng
, vol.33
, Issue.2
, pp. 25-47
-
-
Moreno, A.C.1
Juristo, N.2
Van de Riet, R.P.3
-
53
-
-
85023009798
-
Requirements engineering: A roadmap
-
In: Limerick, Ireland, ACM Press, New york
-
Nuseibeh B, Easterbrook S (2000) Requirements engineering: A roadmap, In: Proceedings of the international conference on the future of software engineering, Limerick, Ireland, ACM Press, New york, pp 35-46
-
(2000)
Proceedings of the International Conference on the Future of Software Engineering
, pp. 35-46
-
-
Nuseibeh, B.1
Easterbrook, S.2
-
56
-
-
0035024115
-
Conceptual modeling through linguistic analysis using LIDA
-
In: Toronto, Canada
-
Overmeyer SP, Lovoie B, Rambow O (2001) Conceptual modeling through linguistic analysis using LIDA. In: Proceedings of the 23rd international conference on software engineering, Toronto, Canada, pp 401-410
-
(2001)
Proceedings of the 23rd International Conference on Software Engineering
, pp. 401-410
-
-
Overmeyer, S.P.1
Lovoie, B.2
Rambow, O.3
-
57
-
-
0344321810
-
-
Information Technology Research Institute Technical report Series, University of Brighton
-
Paiva DS (1998) A survey of applied natural language generation systems, Information Technology Research Institute Technical report Series, University of Brighton
-
(1998)
A Survey of Applied Natural Language Generation Systems
-
-
Paiva, D.S.1
-
58
-
-
0042016804
-
The analysis of natural language requirements documents
-
PhD thesis, University of Liverpool
-
Presland G (1996) The analysis of natural language requirements documents, PhD thesis, University of Liverpool
-
(1996)
-
-
Presland, G.1
-
62
-
-
0023170596
-
Framework based on natural language
-
In: Monterey
-
Saeki M, Horai H, Toyama K, Uematsu N, Enomoto H (1987) framework based on natural language, In: Proceedings of the 4th IEEE international workshop on software specification and design, Monterey, pp 87-94
-
(1987)
Proceedings of the 4th IEEE International Workshop on Software Specification and Design
, pp. 87-94
-
-
Saeki, M.1
Horai, H.2
Toyama, K.3
Uematsu, N.4
Enomoto, H.5
-
63
-
-
84948669120
-
English as a formal specification language
-
IEEE Computer Society, Washington, DC, USA
-
Schwitter R (2002) English as a formal specification language, Proceedings of the 13th international workshop on database and expert systems applications, IEEE Computer Society, Washington, DC, USA, pp. 228-232
-
(2002)
Proceedings of the 13th International Workshop on Database and Expert Systems Applications
, pp. 228-232
-
-
Schwitter, R.1
-
64
-
-
0346500172
-
Conciseness through aggregation in text generation
-
Shaw J (1995) Conciseness through aggregation in text generation. In: Proceedings of the 33rd ACL, pp 329-331
-
(1995)
Proceedings of the 33rd ACL
, pp. 329-331
-
-
Shaw, J.1
-
66
-
-
84936125705
-
WIP: The coordinated generation of multimodal presentations from a common representation
-
In: Stock O, Slack J, Ortony A (eds) Springer, Heidelberg
-
Wahlster W, Andre E, Bandyopadhyay S, Winfried G, Rist T (1991) WIP: The coordinated generation of multimodal presentations from a common representation. In: Stock O, Slack J, Ortony A (eds) Computational theories of communication and their applications. Springer, Heidelberg, pp 75-93
-
(1991)
Computational Theories of Communication and Their Applications
, pp. 75-93
-
-
Wahlster, W.1
Andre, E.2
Bandyopadhyay, S.3
Winfried, G.4
Rist, T.5
-
67
-
-
0030242415
-
Reversibility in software engineering
-
Walden K (1996) Reversibility in software engineering. Computer 29(9):93-95
-
(1996)
Computer
, vol.29
, Issue.9
, pp. 93-95
-
-
Walden, K.1
|