Software development with executable functional specifications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1982, Pages 418-419

  Urban, Joseph E ^a  

^a UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LIFE CYCLE; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

FUNCTIONAL SPECIFICATION; LANGUAGE DESIGN; LANGUAGE PROCESSORS; PROGRAM DEVELOPMENT; RESEARCH EFFORTS; SOFTWARE ENHANCEMENTS; SOFTWARE LIFE CYCLES; SPECIFICATION DEVELOPMENT;

SOFTWARE DESIGN;

EID: 85023353079     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. C. V. Ramamoorthy and H. H. So, "Software Requirements and Specifications: Status and Perspectives, " in Tutorial: Software Methodology, by C. V. Ramamoorthy and R. T. Veh, IEEECatalog No. EHO 142-0, November 1978, pp. 43-164.
2. J. E. Urban, A Specification Language and Its Processor. PTTD. Dissertation, Computer-Science Department, University of Southwestern Louisiana, December 1977, 179 pp.
3. C. A. R. Hoare, "Data Reliability, " SIGPLAN Notices. Vol. 10, No. 6, June 1975, pp. 528-533.
4. R. E. Griswold, J. F. Poage, and I. P. Polansky, The Snobol Programming Language. New Jersey: Prentice-Hall, 1968, Chapter 2.
5. S. D. Urban, The Application of a Specification Methodology to an Information Storage and Retrieval System. MS. Thesis, Computer Science Department, University of Southwestern Louisiana, July, 1980, 113 pp.