Automation of software system development using natural language processing and two-level grammar

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2941, Issue , 2004, Pages 219-233

  Lee, Beum Seuk ^a   Bryant, Barrett R ^a  

^a UNIVERSITY OF ALABAMA AT BIRMINGHAM   (United States)

Author keywords

Automated Software Engineering; Formal Specification; Natural Language Processing; Two Level Grammar (TLG)

Indexed keywords

AUTOMATION; COMPUTATIONAL LINGUISTICS; FORMAL METHODS; FORMAL SPECIFICATION; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

FORMAL REPRESENTATIONS; INFORMAL REQUIREMENTS; LEVELS OF ABSTRACTION; NATURAL LANGUAGE PROCESSING; NATURAL LANGUAGES; REQUIREMENTS DOCUMENT; SOFTWARE DEVELOPMENT LIFE CYCLE; TWO-LEVEL GRAMMAR;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 35048823415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24626-8_15     Document Type: Article

References (20)

1. Pohl, K.: The Three Dimensions of Requirements Engineering. Conference on Advanced Information Systems Engineering (1993) 275-292
2. Davis, A.: Software Requirements Analysis and Specification. Prentice-Hall (1990)
3. Boehm, B.W.: Software Engineering Economics. IEEE Transactions on Software Engineering 10 (1984) 4-21
4. Wilson, W.M.: Writing Effective Natural Language Requirements Specifications. Technical report, Naval Research Laboratory (1999)
5. Fuchs, N.E., Schwitter, R.: Attempto Controlled English (ACE). Proc. CLAW 96, 1st Int. Workshop Controlled Language Applications (1996)
6. Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated Quality Analysis Of Natural Language Requirement Specifications. Technical report, Naval Research Laboratory (1996)
7. Girardi, M.R.: Classification and Retrieval of Software through their Description in Natural Language. PhD thesis, Computer Science Department University of Geneva, Switzerland (1996)
8. Jurafsky, D., Martin, J.: Speech and Language Processing. Prentice-Hall (2000)
9. Bryant, B.R., Lee, B.S.: Two-Level Grammar as an Object-Oriented Requirements Specification Language. Proc. 35th Hawaii Int. Conf. System Sciences (2002)
10. Bjørner, D., Jones, C.B.: The Vienna Development Method: The Meta-Language. Springer-Verlag (1978)
11. Quatrani, T.: Visual Modeling with Rational Rose 2000 and UML. Addison-Wesley (2000)
12. IFAD: The VDM++Toolbox User Manual. Technical report, IFAD (www.ifad.dk) (2000)
13. Walter Reed Army Institute for Research (WRAIR): CARA Specification: Roprietary Document. Technical report, WRAIR, Dept. of Resuscitative Medicine (2001)
14. Decker, S., Melnik, S., van Harmelen, F., Fensel, D., Klein, M.C.A., Broekstra, J., Erdmann, M., Horrocks, I.: The semantic web: The roles of XML and RDF. IEEE Internet Computing 4 (2000) 63-74
15. Lee, B.S., Bryant, B.R.: Contextual Natural Language Processing and DAML for Understanding Software Requirements Specifications. Proc. 19th International Conference on Computational Linguistics (2002) 516-522
16. Cleaveland, J.C.: Program Generators with XML and Java. Prentice-Hall (2001)
17. Lakemeyer, G., Nebel, B.: Foundations of knowledge representation and reasoning. Volume 810. Springer-Verlag Inc. (1994)
18. Grady, W.: Moby Part-of-Speech II (data file) (1994)
19. Lee, B.S., Bryant, B.R.: Contextual Knowledge Representation for Requirements Documents in Natural Language. Proc. 15th International FLAIRS Conference (2002) 370-374
20. Bryant, B.R.: Object-Oriented Natural Language Requirements Specification. Proc. ACSC 2000, 23rd Australasian Comp. Sci. Conf. (2000) 24-30