Operational specification as the basis for rapid prototyping
暂无分享,去创建一个
[1] Daniel G. Bobrow,et al. New Programming Languages for Artificial Intelligence Research , 1974, CSUR.
[2] Jeffrey D. Ullman,et al. Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.
[3] J. Meigs,et al. WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.
[4] David R. Musser,et al. An Overview of AFFIRM: A Specification and Verification System , 1980, IFIP Congress.
[5] Martin S. Feather,et al. Mappings for rapid prototyping , 1982, Rapid Prototyping.
[6] Robert Balzer,et al. Using symbolic execution to characterize behavior , 1982 .
[7] Robert D. Tennent,et al. The denotational semantics of programming languages , 1976, CACM.
[8] Diane C. P. Smith,et al. Database abstractions: aggregation and generalization , 1977, TODS.
[9] Lawrence Robinson,et al. SPECIAL - A Specification and Assertion Language. , 1976 .
[10] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.