Object-oriented natural language requirements specification

Proceedings - 23rd Australasian Computer Science Conference, ACSC 2000

Volumn , Issue , 2000, Pages 24-30

  Bryant, B R ^a  

^a UNIVERSITY OF ALABAMA AT BIRMINGHAM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; FORMAL METHODS; FORMAL SPECIFICATION; ITERATIVE METHODS; NATURAL LANGUAGE PROCESSING SYSTEMS; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

ITERATIVE TRANSFORMATION; NATURAL LANGUAGE REQUIREMENTS; NATURAL LANGUAGE SPECIFICATIONS; OBJECT ORIENTED SOFTWARE DEVELOPMENT; REQUIREMENTS SPECIFICATIONS; SOFTWARE ENGINEERING PROCESS; SPECIFICATION DEVELOPMENT; SPECIFICATION METHODOLOGIES;

OBJECT ORIENTED PROGRAMMING;

EID: 84963812084     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSC.2000.824376     Document Type: Conference Paper

References (18)

1. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, 1994.
2. B. R. Bryant and A. Pan. Formal specification of software systems using Two-Level Grammar. Proc. COMPSAC '91, Fifeenth Annual Intl. Computer Software and Applications Conf., pages 155-160, 1991.
3. B. R. Bryant and A. Pan. Two-Level Grammar: A functional/logic query language for database and knowledge-base systems. Proc. LPAR '92, 1992 Intl. Conf. Logic Programming and Automated Reasoning, pages 78-83, 1992.
4. A. Cockburn. Structuring use cases with goals. J. Object-Oriented Programming, 1997.
5. H. Eriksson and M. Penker. UML Distilled: Applying the Standard Object Modeling Language. John Wiley, 1998.
6. N. E. Fuchs and R. Schwitter. Attempto: Controlled natural language for requirements specifications. Proc. Seventh Intl. Logic Programming Symp. Workshop Logic Programming Environments, 1995.
7. N. E. Fuchs and R. Schwitter. Attempto Controlled English (ACE). Proc. CLAW '96, First Intl. Workshop Controlled Language Applications, 1996.
8. 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.
9. I. Graham. Requirements Engineering and Rapid Development. Addison-Wesley, 1998.
10. Object Management Group. OMG Unified Modeling Language specification, version 1.3. Technical report, Object Management Group, June 1999.
11. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
12. Luqi and J. Goguen. Formal methods: Promises and problems. IEEE Software, 14(1):73-85, January 1997.
13. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.
14. H. A. Partsch. Specification and Transformation of Programs: A Formal Approach to Software Development. Springer-Verlag, 1990.
15. T. Quatrani. Visual Modeling with Rational Rose and UML. Addison-Wesley, 1998.
16. P. A. Swatman and P. M. C. Swatman. Formal specification: An analytic tool for (management) information systems. J. Information Systems, 2(2):121-160, 1992.
17. A. van Wijngaarden. Orthogonal design and description of a formal language. Technical report, Mathematisch Centrum, Amsterdam, 1965.
18. A. van Wijngaarden. Revised report on the algorithmic language ALGOL 68. Acta Informatica, 5:1-236, 1974.