The REVERE Project: Experiments with the Application of Probabilistic NLP to Systems Engineering

  • Paul Rayson
  • Luke Emmet
  • Roger Garside
  • Pete Sawyer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1959)


Despite natural language’s well-documented shortcomings as a medium for precise technical description, its use in software-intensive systems engineering remains inescapable. This poses many problems for engineers who must derive problem understanding and synthesise precise solution descriptions from free text. This is true both for the largely unstructured textual descriptions from which system requirements are derived, and for more formal documents, such as standards, which impose requirements on system development processes. This paper describes experiments that we have carried out in the REVERE1 project to investigate the use of probabilistic natural language processing techniques to provide systems engineering support.


System Engineer Natural Language Processing Semantic Category Standard Document Mandatory Requirement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Stevens, R., Brook, P., Jackson, K., Arnold, S.: Systems engineering: coping with complexity, Prentice-Hall, 1998.Google Scholar
  2. 2.
    Rolland, C., Proix, C.: A Natural Language Approach for Requirements Engineering, Lecture Notes in Computer Science, Vol. 593, 1992.Google Scholar
  3. 3.
    Burg, J., van de Riet, R.: COLOR-X: Object Modeling profits from Linguistics, Proc. Second International Conference on Building and Sharing of Very Large-Scale Knowledge Bases (KB&KS’95), Enschede, The Netherlands, 1995.Google Scholar
  4. 4.
    Cyre, W., Thakar, A.: Generating Validation Feedback for Automatic Interpretation of Informal Requirements, in Formal Methods in System Design, Kluwer, 1997.Google Scholar
  5. 5.
    Rosenburg, L., Hammer, T., Huffman, L.: Requirements, Testing & Metrics, Proc. 15th Annual Pacific Nothwest Software Quality Conference, Utah, USA, 1998.Google Scholar
  6. 6.
    Ambriola, V., Gervasi, V.: Experiences with Domain-Based Parsing of Natural Language Requirements, Proc. 4th International Conference NLDB’ 99, Klagenfurt, Austria, 1999.Google Scholar
  7. 7.
    Steuten, A., van de Reit, R., Dietz, J.: Linguistically Based Conceptual Modeling of Business Communication, Proc. 4th International Conference NLDB’ 99, Klagenfurt, Austria, 1999.Google Scholar
  8. 8.
    Bentley R., Rodden T., Sawyer P., Sommerville I, Hughes J., Randall D., Shapiro D.: Ethnographically-informed systems design for air traffic control, Proc. CSCW’ 92, Toronto, November 1992.Google Scholar
  9. 9.
    Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., Stevens, R.: Managing Standards Compliance, IEEE Trans. Software Engineering, 25 (6), 1999.Google Scholar
  10. 10.
    Butler, K., Esposito, C., Hebron, R.: Connecting the Design of Software to the Design of Work, Communications of the ACM. 42 (1), 1999.Google Scholar
  11. 11.
    Berry, D., Yavne, N., Yavne, M.: Application of Program Design Language Tools to Abbott’s method of Program Design by Informal Natural Language Descriptions, Journal of Software and Systems, 7, 1987.Google Scholar
  12. 12.
    Aguilera, C., Berry, D.: The Use of a Repeated Phrase Finder in Requirements Extraction, Journal of Systems and Software, 13 (9), 1990.Google Scholar
  13. 13.
    Goldin, L., Berry, D.: AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation, Automated Software Engineering, 4, 1997.Google Scholar
  14. 14.
    Fliedl, G., Kop, C., Mayr, H., Mayerthaler, W., Winkler, C.: Linguistically Based Requirements Engineering-the NIBA Project, Proc. 4th International Conference NLDB’ 99, Klagenfurt, Austria, 1999.Google Scholar
  15. 15.
    Aston, G. and Burnard, L.: The BNC Handbook: Exploring the British National Corpus with SARA, Edinburgh University Press, 1998.Google Scholar
  16. 16.
    Thomas, J., Wilson, A.: Methodologies for Studying a Corpus of Doctor-Patient Interaction, in Thomas, J. and Short, M. (eds.) Using Corpora for Language Research, Longman, 1996.Google Scholar
  17. 17.
    Garside, R., Smith, N.: A Hybrid Grammatical Tagger: CLAWS4, in Garside, R., Leech, G., and McEnery, A. (eds.) Corpus Annotation: Linguistic Information from Computer Text, Longman, 1997.Google Scholar
  18. 18.
    Rayson, P., and Wilson, A.: The ACAMRIT semantic tagging system: progress report, Proc. Language Engineering for Document Analysis and Recognition (LEDAR), Brighton, England. 1996.Google Scholar
  19. 19.
    Rayson, P., Leech, G., and Hodges, M.: Social differentiation in the use of English vocabulary: some analyses of the conversational component of the British National Corpus, International Journal of Corpus Linguistics. 2 (1), 1997.Google Scholar
  20. 20.
    Jackson, D. and Jackson, M.: Problem decomposition for reuse, BCS/IEE Software Eng. J., 11 (1), 1996.Google Scholar
  21. 21.
    Rayson, P., Garside, R., Sawyer, P.: Recovering Legacy Requirements, Proc. Fifth International Workshop on Requirements Engineering: Foundations of Software Quality (REFSQ.99), Heidelberg, Germany, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Paul Rayson
    • 1
  • Luke Emmet
    • 2
  • Roger Garside
    • 1
  • Pete Sawyer
    • 1
  1. 1.Lancaster UniversityLancasterUK
  2. 2.Adelard, Coborn HouseLondonUK

Personalised recommendations