Two-level grammar as an object-oriented requirements specification language

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 3627-3636

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

^a UNIVERSITY OF ALABAMA AT BIRMINGHAM   (United States)

Author keywords

Computer languages; Formal specifications; Java; Natural language processing; Natural languages; Production systems; Software prototyping; Software systems; Specification languages; Unified modeling language

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FORMAL SPECIFICATION; JAVA PROGRAMMING LANGUAGE; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; PROGRAM TRANSLATORS; SOFTWARE PROTOTYPING; SPECIFICATION LANGUAGES; SPECIFICATIONS; TRANSLATION (LANGUAGES); UNIFIED MODELING LANGUAGE;

JAVA; NATURAL LANGUAGE PROCESSING; NATURAL LANGUAGES; PRODUCTION SYSTEM; SOFTWARE SYSTEMS;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 84948686299     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994486     Document Type: Conference Paper

References (13)

1. V. S. Alagar and K. Periyasamy. Specification of Software Systems. Springer-Verlag, 1998.
2. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, 1994.
3. B. R. Bryant. Object-Oriented Natural Language Requirements Specification. Proc. ACSC 2000, 23rd Australasian Computer Science Conf., pages 24-30, 2000.
4. B. R. Bryant and A. Pan. Formal Specification of Software Systems Using Two-Level Grammar. Proc. COMPSAC '91, 15th Ann. Intl. Computer Software and Applications Conf., pages 155-160, 1991.
5. E. H. Dürr and J. van Katwijk. VDM++ - A Formal Specification Language for Object-Oriented Designs. Proc. TOOLS USA '92, 1992 Technology of Object-Oriented Languages and Systems USA Conf., pages 63-278, 1992.
6. N. E. Fuchs and R. Schwitter. Attempto Controlled English (ACE). Proc. CLAW '96, First Intl. Workshop Controlled Language Applications, 1996.
7. M. Girardi and B. Ibrahim. A Software Reuse System Based on Natural Language Specifications. Proc. ICCI '93, 5th Intl. Conf. Computing and Information, pages 507-511, 1993.
8. IFAD. The VDM++ Toolbox User Manual. Technical report, IFAD (http://www.ifad.dk), 2000.
9. P. G. Larsen, et al. Vienna Development Method - Specification Language - Part I: Base Language. Report, International Standard ISO/IEC 13817-1, December 1996.
10. J. McCarthy. Notes on Formalizing Context. Technical report, Computer Science Department, Stanford University, Stanford, CA, 1993.
11. Object Management Group. OMG Unified Modeling Language Specification, Version 1.3. Technical report, Object Management Group, June 1999.
12. T. Quatrani. Visual Modeling with Rational Rose 2000 and UML. Addison-Wesley, 2000.
13. A. van Wijngaarden. Orthogonal Design and Description of a Formal Language. Technical report, Mathematisch Centrum, Amsterdam, 1965.