An Object-Oriented Executable Requirements Specification Language
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.
KeywordsComputer Support Transaction Processing Type Constructor Specification Execution Problem Entity
Unable to display preview. Download preview PDF.
- Borgida, A. “Features of Languages for the Development of Information Systems at the Conceptual Level.” IEEE Software, p. 63, july 1985.Google Scholar
- Chikofsky, E.J. and B.L.Rubenstein “CASE: Reliability Engineering for Information Systems.”IEEE Software, p.11, march 1988.Google Scholar
- Kim, W. and F.H.Lochovsky (eds.) “Object-Oriented Concepts, Databases, and Applications.” ACM Press Frontier Series, Addison-Wesley, Reading, Mass, 1989.Google Scholar
- Ullman, J.D. “Principles of Database and Knowledge-Base Systems, Volumel.”Computer Science Press, Rockville, Maryland, 1988.Google Scholar
- Webster, D.E. “Mapping the Design Information Representation Terrain.” Computer, p. 8, december 1988.Google Scholar
- Zave, P. “An Operational Approach to Requirements Specification for Embedded Systems.” IEEE Trans. Software Eng., vol. SE-8, p. 250. 1982.Google Scholar