Operational specification as the basis for rapid prototyping

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1982, Pages 3-16

  Balzer, Robert M ^a   Goldman, Neil M ^a   Wile, David S ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RAPID PROTOTYPING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

OPERATIONAL SPECIFICATIONS; REAL SYSTEMS; SPECIFIC AREAS;

FORMAL SPECIFICATION;

EID: 85015305638     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1006259.1006261     Document Type: Conference Paper

References (13)

1. Bauer, F. L., Broy, M., Dosch, W., Gnatz, R., Krieg-Brueckner, Laut, A., Malzner, T., Moeller, B., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., and Woessner, H., Report on a Wide Spectrum Language for Program Specification and Development, Institute fuer Informatik, Technische Universitaet, Muenchen, Technical Report, May 1981.
2. Birtwistle, G. M., Dahl, O., Myhrhaug, B. and Nygaard, K., SIMULA Begin, Auerbach, 1973.
3. Bobrow, D., and B. Raphael, "New programming languages for artificial intelligence research", ACM Computing Surveys 6, (3), September 1974, 153-174.
4. Cohen, D., Swartout, W. & Balzer, R., "Using symbolic execution to characterize behavior", in Pre-Proceedings, ACM SICSOFT Software Engineering Symposium on Rapid Prototyping, pp. Paper-49, 1982.
5. Dijkstra, E. W., "Guarded commands, nondeterminancy, and formal derivation of programs", Communications of the ACM, (8), August 1975, 453-457.
6. Feather, M., "Mappings for rapid prototyping", in Pre-Proceedings, ACM SIGSOFT Software Engineering Symposium on Rapid Prototyping, pp. Paper-47, 1982.
7. Gerhart, S. L., et al., "An overview of Affirm: a specification and verification system", in Proceedings IFIP 80, pp. 343-348, Australia, October 1980.
8. Hommel, G., Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage, Kernforschungszentrum Karlsruhe, Technical Report, August 1980.
9. Hopcroft, J. E. and Ullman, J. D., Formal Languages and their Relation to Automata, Addison-Wesley, 1969.
10. London, P. & Feather, M. S., Implementing specification freedoms, ISI, 4676 Admiralty Way, Marina del Rey, CA 90291, Technical Report RR-81-100, 1981 Submitted to Science of Computer Programming
11. Robinson, L. and Roubine, O., SPECIAL, a specification and assertion language, Stanford Research Institute, Menlo Park, CA, Technical Report CSL-46, Jan 1977.
12. Smith, J., and D. Smith, "Database abstractions: aggregation and generalization", ACM Transactions on Database Systems 2, (2), June 1977, 105-133.
13. Tennent, R. D., "The denotational semantics of programming languages", CACM 19, (8), August 1976, 437-453.