The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1985 vol.11)
pp: 598-605
S.D. Urban , Center for Advanced Computer Studies, University of Southwestern Louisiana
ABSTRACT
This paper describes an approach to software specification development with interpretation as applied to an information storage and retrieval system. Machine execution of software specifications is possible with both partial and complete specifications. A partial specification is interpreted using abstract execution. The Descartes specification language is utilized to describe a functional aspect of an existing information storage and retrieval system, namely, the MADAM (Multics Approach to Data Access and Management) system at the University of Southwestern Louisiana. Brief descriptions of both the Descartes language and the MADAM system precede the example specification. The paper concludes with a discussion of the expected results that this methodology could have on the pragmatic development and evolution of information systems.
INDEX TERMS
prototyping, Abstract execution, executable specifications, information storage and retrieval
CITATION
S.D. Urban, J.E. Urban, W.D. Dominick, "Utilizing an Executable Specification Language for an Information System", IEEE Transactions on Software Engineering, vol.11, no. 7, pp. 598-605, July 1985, doi:10.1109/TSE.1985.232504
246 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool