This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Utilizing an Executable Specification Language for an Information System
July 1985 (vol. 11 no. 7)
pp. 598-605
S.D. Urban, Center for Advanced Computer Studies, University of Southwestern Louisiana
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
Usage of this product signifies your acceptance of the Terms of Use.