SCOPUS 정보 검색 플랫폼

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2002, Pages 932-936

Automated conversion from requirements documentation to an object-oriented formal specification language

(2) Lee, Beum Seuk a Bryant, Barrett R a

a UNIVERSITY OF ALABAMA AT BIRMINGHAM (United States)

Author keywords

Contextual natural language processing; Object oriented software specification; Two level grammar; Vienna development method; XML

Indexed keywords

AUTOMATIC PROGRAMMING; FORMAL LANGUAGES; MAPPING; NATURAL LANGUAGE PROCESSING SYSTEMS; SOFTWARE ENGINEERING; XML;

CONTEXTUAL NATURAL LANGUAGE PROCESSING; FORMAL SPECIFICATION LANGUAGES; OBJECT ORIENTED SOFTWARE SPECIFICATION; TWO LEVEL GRAMMAR; VIENNA DEVELOPMENT METHOD;

OBJECT ORIENTED PROGRAMMING;

EID: 0036041195 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/508969.508972 Document Type: Conference Paper

Times cited : (31)

References (20)

1
- 0005274995
- Springer-Verlag
- (1998) Specification of Software Systems
- Alagar, V.S.¹ Periyasamy, K.²

2
- 0003402855
- Benjamin/Cummings, 2nd Edition
- (1995) Natural Language Understanding
- Allen, J.¹

3
- 0042266608
- Springer-Verlag
- (1985) The Vienna Development Method: The Meta-Language
- Bjørner, D.¹ Jones, C.B.²

4
- 0003551091
- Extensible markup language (XML) 1.0
- Technical report, W3C Recommendation REC-xml-19980210
- (1998)
- Bray, T.¹ Paoli, J.² Sperberg-McQueen, C.M.³

5
- 85144746911
- A centering approach to pronouns
- (1987) Proc. 25th ACL Annual Meeting , pp. 155-162
- Brennan, S.¹ Friedman, L.² Pollard, C.³

6
- 84963812084
- Object-oriented natural language requirements specification
- (2000) Proc. ACSC 2000, 23rd Australasian Comp. Sci. Conf. , pp. 24-30
- Bryant, B.R.¹

7
- 84948686299
- Two-level grammar as an object-oriented requirements specification language
- (to appear), Jan.
- (2002) Proc. 35th Hawaii Int. Conf. System Sciences
- Bryant, B.R.¹ Lee, B.-S.²

8
- 0003033906
- VDM++ - a formal specification language for object-oriented designs
- (1992) Proc. TOOLS USA '92, 1992 Technology of Object-Oriented Languages and Systems USA Conf. , pp. 63-278
- Dürr, E.H.¹ Van Katwijk, J.²

9
- 0032123060
- Modal change logic (MCL): Specifying the reasoning of knowledge-based systems
- (1998) Data and Knowledge Engineering , vol.26 , pp. 243-269
- Fensel, D.¹ Groenboom, R.² Renardel, G.R.³

10
- 0012982539
- Attempto controlled english (ACE)
- Proc. CLAW 96, 1st Int. Workshop Controlled Language Applications, 1996
- Fuchs, N.E.¹ Schwitter, R.²

11
- 0005280003
- (1994) Moby Part-of-Speech II (Data File)
- Grady, W.¹

12
- 0020940018
- Providing a unified account of definite noun phrases in discourse
- (1983) Proc. 25th ACL Annual Meeting , vol.155-162 , pp. 44-50
- Grosz, B.J.¹ Joshi, A.K.² Weinstein, S.³

13
- 28344443541
- Technical report, IFAD
- (2000) IFAD. The VDM++ Toolbox User Manual

14
- 0005278317
- IFAD; Technical report, IFAD
- (2000) VDMTools - Java/C++ Code Generator

15
- 0005276238
- IFAD; Technical report, IFAD
- (2000) VDMTools - the Rose-VDM++ Link

16
- 0003847769
- Prentice Hall
- (2000) Speech and Language Processing
- Jurafsky, D.¹ Martin, J.²

17
- 0003937291
- Notes on formalizing context
- Technical report, Computer Science Department. Stanford University. Stanford, CA
- (1993)
- McCarthy, J.¹

18
- 0004030842
- Addison-Wesley
- (2000) Visual Modeling with Rational Rose 2000 and UML
- Quatrani, T.¹

19
- 0005319446
- Mathematisch Centrum, Amsterdam
- (1965) Orthogonal Design and Description of a Formal Language
- Van Wijngaarden, A.¹

20
- 0005340403
- Writing effective natural language requirements specifications
- Technical report, Naval Research Laboratory
- (1999)
- Wilson, W.M.¹

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