SCOPUS 정보 검색 플랫폼

Software - Practice and Experience

Volumn 32, Issue 2, 2002, Pages 113-133

Lightweight validation of natural language requirements

(2) Gervasi, Vincenzo a Nuseibeh, Bashar b

a UNIVERSITY OF PISA (Italy)

b OPEN UNIVERSITY (United Kingdom)

Author keywords

Lightweight formal methods; Natural language requirements; Requirements validation

Indexed keywords

COMPUTER SIMULATION; DATA STRUCTURES; ERROR COMPENSATION; NATURAL LANGUAGE PROCESSING SYSTEMS; REQUIREMENTS ENGINEERING; SEMANTICS;

LIGHTWEIGHT FORMAL METHODS; NATURAL LANGUAGE REQUIREMENTS; NODE CONTROL SOFTWARE; REQUIREMENTS VALIDATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0036468433 PISSN: 00380644 EISSN: None Source Type: Journal
DOI: 10.1002/spe.430 Document Type: Article

Times cited : (59)

References (36)

1
- 0032203846
- Rapid application of lightweight formal methods for consistency analyses
- (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.11 , pp. 949-959
- Feather, M.S.¹

2
- 0002426352
- Lightweight formal methods
- (1996) IEEE Computer , vol.29 , Issue.4 , pp. 21-22
- Jackson, D.¹ Wing, J.²

3
- 33747365024
- Experiences using lightweight formal methods for requirements modeling
- (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.1 , pp. 4-14
- Easterbrook, S.¹ Lutz, R.² Covington, R.³ Kelly, J.⁴ Ampo, Y.⁵ Hamilton, D.⁶

4
- 0025492027
- Integrating formal methods into the development process
- (1990) IEEE Software , vol.7 , Issue.5 , pp. 37-50
- Kemmerer, R.A.¹

5
- 0031259336
- Abstfinder: A prototype natural language text abstraction finder for use in requirement elicitation
- (1997) Automated Software Engineering Journal , vol.4 , Issue.4 , pp. 375-412
- Goldin, L.¹ Berry, D.M.²

6
- 0032047085
- Lightweight formalisation in support of requirements engineering
- (1998) Automated Software Engineering , vol.5 , Issue.2 , pp. 183-210
- Hesketh, J.¹ Robertson, D.² Fuchs, N.³ Bundy, A.⁴

7
- 0029452042
- Lightweight source model extraction
- ACM Press: New York
- (1995) Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995 , pp. 116-127
- Murphy, G.C.¹ Notkin, D.²

8
- 84974673806
- A natural language approach for requirements engineering
- Springer: Paris
- (1992) Advanced Information Systems Engineering (Lecture Notes in Computer Science) , vol.593
- Rolland, C.¹

9
- 0003229214
- Natural language processing for requirements specification
- Chapman and Hall: London
- (1993) Safety-Critical Systems , pp. 57-89
- Macias, B.¹ Pulman, S.G.²

10
- 0028428886
- Assisting requirement formalization by means of natural language translation
- (1994) Formal Methods in System Design , vol.4 , Issue.3 , pp. 243-263
- Fantechi, A.¹ Gnesi, S.² Ristori, G.³ Carenini, M.⁴ Vanocchi, M.⁵ Moreschini, P.⁶

11
- 0030157306
- NL-OOPS: From natural language requirements to object oriented requirements using the natural language processing system LOLITA
- Journal of Natural Language Engineering , vol.2 , Issue.2 , pp. 161-187
- Mich, L.¹

12
- 84947911308
- Attempt to controlled English-not just another logic specification language
- Springer: London
- (1999) Proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'98). Manchester, UK, June 1998 (Lecture Notes in Computer Science, Vol. 1559)
- Fuchs, N.E.¹ Schwertel, U.² Schwitter, R.³

13
- 0034188686
- How to use linguistic instruments for object-oriented analysis
- (2000) IEEE Software , vol.17 , Issue.3 , pp. 80-89
- Juristo, N.¹ Moreno, A.M.² López, M.³

14
- 0021158112
- Verifying and validating software requirements and design specifications
- (1984) IEEE Software , vol.1 , Issue.1 , pp. 75-88
- Boehm, B.W.¹

15
- 85023009798
- Requirements engineering: A roadmap
- Finkelstein A (ed.). ACM Press: New York
- (2000) The Future of Software Engineering, ICSE-2000, Limerick, Ireland, 6-10 June 2000
- Nuseibeh, B.¹ Easterbrook, S.²

16
- 0000270979
- A method for controlling the production of specifications in natural language
- (1995) The Computer Journal , vol.38 , Issue.4 , pp. 310-318
- Macias, B.¹ Pulman, S.S.²

17
- 0008191490
- Software requirements specification for the NCS MDM CSCI
- NASA/Boeing
- International Space Station Document S684-10174, April 1997

18
- 0031650372
- Restructuring requirements specifications: A case study
- Colorado Springs, CO, April 1998. IEEE Computer Society Press: Los Alamitos, CA
- (1998) Proceedings of 3rd IEEE International Conference on Requirements Engineering (ICRE'98) , pp. 51-60
- Russo, A.¹ Nuseibeh, B.² Kramer, J.³

19
- 0032625996
- Restructuring requirements specifications
- (1999) IEE Proceedings: Software , vol.144 , Issue.1 , pp. 44-53
- Russo, A.¹ Nuseibeh, B.² Kramer, J.³

20
- 0008229335
- Achieving quality in natural language requirements
- Proceedings of the 11th International Software Quality Week, San Francisco, May 1998
- Fabbrini, F.¹ Fusani, M.² Gervasi, V.³ Gnesi, S.⁴ Ruggieri, S.⁵

21
- 0031382855
- Processing natural language requirements
- IEEE Computer Society Press: Los Alamitos, CA
- (1997) Proceedings of the 12th IEEE Conference on Automated Software Engineering, November 1997 , pp. 36-45
- Ambriola, V.¹ Gervasi, V.²

22
- 0003439308
- Environment support for requirements writing and analysis
- PhD Thesis, University of Pisa, February
- (2000)
- Gervasi, V.¹

23
- 84947902402
- Towards a deeper understanding of quality in requirements engineering
- Springer: Germany
- (1995) Proceedings of the 7th International CAiSE Conference, Jyvaskyla, Finland (Lecture Notes in Computer Science, Vol. 932) , pp. 82-95
- Krogstie, J.¹ Lindland, O.I.² Sindre, G.³

24
- 0004053148
- Addison-Wesley: Reading, MA
- (1988) The AWK Programming Language
- Aho, A.V.¹ Kernighan, B.W.² Weinberger, P.J.³

25
- 0008232735
- SCR: A toolset for specifying and analyzing software requirements
- Proceedings of 10th Annual Conference on Computer-Aided Verification (CAV'98), Vancouver, Canada, 1998
- Heitmeyer, C.¹ Kirby, J.² Labaw, B.G.³ Bharadwaj, R.⁴

26
- 0030197750
- Automated consistency checking of requirements specifications
- (1996) ACM Transactions on Software Engineering and Methodology , vol.5 , Issue.3 , pp. 231-261
- Heitmeyer, C.¹ Jeffords, R.D.² Labaw, B.G.³

27
- 0029252630
- The importance of ignorance in requirements engineering
- (1995) Journal of Systems and Software , vol.28 , Issue.2 , pp. 179-184
- Berry, D.M.¹

28
- 0000194670
- Elements of style: Analyzing a software design feature with a counterexample detector
- (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.7 , pp. 484-495
- Jackson, D.¹ Damon, C.A.²

29
- 0026121505
- The requirements apprentice: Automated assistance for requirements acquisition
- (1991) IEEE Transactions on Software Engineering , vol.17 , Issue.3 , pp. 226-240
- Reubenstein, H.B.¹ Waters, R.C.²

30
- 0008234050
- Proving properties of concurrent systems with SPIN
- (Lecture Notes in Computer Science); Springer
- (1995) , vol.962
- Holzmann, G.J.¹

31
- 46849117528
- A framework for requirements analysis using automated reasoning
- (Lecture Notes in Computer Science); Springer, Germany
- (1995) , vol.932
- Duffy, D.¹ MacNish, C.² McDermid, J.³ Morris, P.⁴

32
- 84863559454
- A method for validating a conceptual model by natural language discourse generation
- Springer: Germany
- (1992) Advanced Information Systems Engineering (Lecture Notes in Computer Science, Vol. 593)
- Dalianis, H.¹

33
- 0008275265
- Description of the LOLITA system as used in MUC-6
- Morgan Kaufmann
- (1996) Proceedings of the 6th ARPA Message Understanding Conference
- Morgan, R.¹ Garigliano, R.² Callaghan, P.³ Poria, S.⁴ Smith, M.⁵ Uranowicz, A.⁶ Collingham, R.⁷ Costantino, M.⁸ Cooper, C.⁹

34
- 84958968832
- Process metrics for requirements analysis
- Springer: Germany
- (2000) Proceedings of the 7th European Workshop on Software Process Technology, February 2000 (Lecture Notes in Computer Science, Vol. 1780) , pp. 90-95
- Ambriola, V.¹ Gervasi, V.²

35
- 35248890814
- Ariane 5: Who dunnit?
- (1997) IEEE Software , vol.14 , Issue.3 , pp. 15-16
- Nuseibeh, B.¹

36
- 0033720471
- Lightweight validation of natural language requirements: A case study
- IEEE Computer Society Press: Los Alamitos, CA
- (2000) Proceedings of the 4th IEEE International Conference on Requirements Engineering (ICRE-2000), Schaumburg, IL, USA, June 2000
- Gervasi, V.¹ Nuseibeh, B.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.