Skip to main content
SpringerLink
Log in

An Object-Oriented Executable Requirements Specification Language

  • Conference paper
Database and Expert Systems Applications

Abstract

An end user-, object-oriented requirements specification language, suitable for transaction-processing data base applications, is presented. Such language is formal and hence computer processable, allowing for specification execution and simulation, thus facilitating a prototype development approach.

Finantial suppport for this work from FONDECYT is appreciated

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. Alford, M. “SREM at the Age Eight; The Distributed Computing Design System.” IEEE Computer, vol.18, p.36, aprii 1985.

    Article  Google Scholar 

  2. Bailin, S.D. “An Object-Oriented Requirements Specification Method.” Comm ACM, vol. 32, p. 608, 1989.

    Article  Google Scholar 

  3. Booch, G. “Object-Oriented Development.” IEEE Trans. Software Eng., vol. SE 12,p. 211, 1986.

    Article  Google Scholar 

  4. Borgida, A. “Features of Languages for the Development of Information Systems at the Conceptual Level.” IEEE Software, p. 63, july 1985.

    Google Scholar 

  5. Chikofsky, E.J. and B.L.Rubenstein “CASE: Reliability Engineering for Information Systems.”IEEE Software, p.11, march 1988.

    Google Scholar 

  6. Davis, A.M. “A Comparison of Techniques for the Speci- fication of External System Behavior.” Comm ACM, vol. 31, p. 1098, 1988.

    Article  Google Scholar 

  7. Kim, W. and F.H.Lochovsky (eds.) “Object-Oriented Concepts, Databases, and Applications.” ACM Press Frontier Series, Addison-Wesley, Reading, Mass, 1989.

    Google Scholar 

  8. Mylopoulos, J. Ph.A.Bernstein and H.K.Wong “A Language Facility for Designing Database Intensive Applications.” ACM Trans. Database Syst., vol. 5, p. 1985, 1980.

    Article  Google Scholar 

  9. Ullman, J.D. “Principles of Database and Knowledge-Base Systems, Volumel.”Computer Science Press, Rockville, Maryland, 1988.

    Google Scholar 

  10. Webster, D.E. “Mapping the Design Information Representation Terrain.” Computer, p. 8, december 1988.

    Google Scholar 

  11. Wirfs-Brock, J. and R.E. Johnson “Surveying Current Research in ”Object-Oriented Design.“ Comm. ACM, vol. 33, p. 105, 1990.

    Article  Google Scholar 

  12. Yadav, S.B., R.R. Brovoco, A.T.Chatfield andT.M.Rajkumar “Comparison of Techniques for Information Requirement Determination.” Comm. ACM, Vol. 31, p. 1090, 1988.

    Article  Google Scholar 

  13. Zave, P. “An Operational Approach to Requirements Specification for Embedded Systems.” IEEE Trans. Software Eng., vol. SE-8, p. 250. 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Industrial Engineering Department, University of Chile, P.O.Box 2777, Santiago, Chile

    Oscar Barros & Germán Pavez

Authors
  1. Oscar Barros
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Germán Pavez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Forschungsinstitut für anwendungsorientierte Wissensverarbeitung (FAW), Ulm, Federal Republic of Germany

    Dimitris Karagiannis (General Conference Chairman) (General Conference Chairman)

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Wien

About this paper

Cite this paper

Barros, O., Pavez, G. (1991). An Object-Oriented Executable Requirements Specification Language. In: Karagiannis, D. (eds) Database and Expert Systems Applications. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7555-2_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-7555-2_38

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82301-9

  • Online ISBN: 978-3-7091-7555-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation