论文信息 - From Model Based Specifications to Functional Prototypes - 字舞流文

From Model Based Specifications to Functional Prototypes

Silvio Romero de Lemos Meira | Paulo Borba | S. Meira | Paulo Borba

[1] Douglas R. Smith,et al. KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..

[2] Uday S. Reddy,et al. Formal methods in transformational derivation of programs , 1990, Formal Methods in Software Development.

[3] Friedrich L. Bauer,et al. Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming , 1989, IEEE Trans. Software Eng..