论文信息 - 21 – Model-based specifications - 字舞流文

21 – Model-based specifications

Brian Monahan | Roger C. F. Shaw | Brian Monahan | Roger C. F. Shaw

[1] S. A. Schuman,et al. Object-oriented subsystem specification , 1987 .

[2] Stephen Bear. Structuring for the VDM Specification Language , 1988, VDM Europe.