Skip to main content
SpringerLink
Log in

Automation of Software System Development Using Natural Language Processing and Two-Level Grammar

  • Conference paper
Radical Innovations of Software and Systems Engineering in the Future (RISSEF 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2941))

Abstract

In software engineering, even with recent active research on formal methods and automated tools, users’ involvement is inevitable and crucial throughout the software development lifecycle. Automation of these manual tasks would assist the developers throughout the development. Our project goal is to help the engineers to resolve ambiguity in natural language (NL) using Natural Language Processing and to overcome different levels of abstraction between requirements documents and formal specifications using Two-Level Grammar (TLG). The result is a system that assists developers to build a formal representation from the informal requirements for rapid prototyping and complete system implementation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pohl, K.: The Three Dimensions of Requirements Engineering. In: Conference on Advanced Information Systems Engineering, pp. 275–292 (1993)

    Google Scholar 

  2. Davis, A.: Software Requirements Analysis and Specification. Prentice-Hall, Englewood Cliffs (1990)

    Google Scholar 

  3. Boehm, B.W.: Software Engineering Economics. IEEE Transactions on Software Engineering 10, 4–21 (1984)

    Article  Google Scholar 

  4. Wilson, W.M.: Writing Effective Natural Language Requirements Specifications. Technical report, Naval Research Laboratory (1999)

    Google Scholar 

  5. Fuchs, N.E., Schwitter, R.: Attempto Controlled English (ACE). In: Proc. CLAW 1996, 1st Int. Workshop Controlled Language Applications (1996)

    Google Scholar 

  6. Wilson, W.M., Rosenberg, L.H., Hyatt, L.E.: Automated Quality Analysis Of Natural Language Requirement Specifications. Technical report, Naval Research Laboratory (1996)

    Google Scholar 

  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)

    Google Scholar 

  8. Jurafsky, D., Martin, J.: Speech and Language Processing. Prentice-Hall, Englewood Cliffs (2000)

    Google Scholar 

  9. Bryant, B.R., Lee, B.S.: Two-Level Grammar as an Object-Oriented Requirements Specification Language. In: Proc. 35th Hawaii Int. Conf. System Sciences (2002)

    Google Scholar 

  10. Bjørner, D., Jones, C.B.: The Vienna Development Method: The Meta-Language. Springer, Heidelberg (1978)

    MATH  Google Scholar 

  11. Quatrani, T.: Visual Modeling with Rational Rose 2000 and UML. Addison-Wesley, Reading (2000)

    Google Scholar 

  12. IFAD: The VDM++ Toolbox User Manual. Technical report, IFAD (2000), http://www.ifad.dk

  13. Walter Reed Army Institute for Research (WRAIR): CARA Specification: Roprietary Document. Technical report, WRAIR, Dept. of Resuscitative Medicine (2001)

    Google Scholar 

  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, 63–74 (2000)

    Article  Google Scholar 

  15. Lee, B.S., Bryant, B.R.: Contextual Natural Language Processing and DAML for Understanding Software Requirements Specifications. In: Proc. 19th International Conference on Computational Linguistics, pp. 516–522 (2002)

    Google Scholar 

  16. Cleaveland, J.C.: Program Generators with XML and Java. Prentice-Hall, Englewood Cliffs (2001)

    Google Scholar 

  17. Lakemeyer, G., Nebel, B.: ECAI-WS 1992. LNCS, vol. 810. Springer, Heidelberg (1994)

    MATH  Google Scholar 

  18. Grady, W.: Moby Part-of-Speech II (data file) (1994)

    Google Scholar 

  19. Lee, B.S., Bryant, B.R.: Contextual Knowledge Representation for Requirements Documents in Natural Language. In: Proc. 15th International FLAIRS Conference, pp. 370–374 (2002)

    Google Scholar 

  20. Bryant, B.R.: Object-Oriented Natural Language Requirements Specification. In: Proc. ACSC 2000, 23rd Australasian Comp. Sci. Conf., pp. 24–30 (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Sciences, The University of Alabama at Birmingham, Birmingham, AL, 35294-1170, USA

    Beum-Seuk Lee & Barrett R. Bryant

Authors
  1. Beum-Seuk Lee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Barrett R. Bryant
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

  2. Institut für Informatik, Ludwig-Maximilians-Universität München,  

    Alexander Knapp

  3. Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, 30172, Venezia Mestre, Italy

    Simonetta Balsamo

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lee, BS., Bryant, B.R. (2004). Automation of Software System Development Using Natural Language Processing and Two-Level Grammar. In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24626-8_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21179-2

  • Online ISBN: 978-3-540-24626-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation