[PDF] cmu.edu

[PDF][PDF] A two-tiered approach to specifying programs

JM Wing - 1983 - cs.cmu.edu
Current research in specifications is beginning to emphasize the practical use of formal
specifications in program design. This thesis presents a specification approach, a …
被引用次数：115 相关文章
[PDF] columbia.edu

[PDF][PDF] A Two-Tiered Approach to Specifying Programs

JM Wing - cs.columbia.edu
Current research in specifications is beginning to emphasize the practical use of formal
specifications in program design. This thesis presents a specification approach, a …

A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS

JM Wing - 1983 - dl.acm.org
Current research in specifications is beginning to emphasize the practical use of formal
specifications in program design. This thesis presents a specification approach, a …
[PDF] cmu.edu

[PDF][PDF] A Two-Tiered Approach to Specifying Programs

JM Wing - cs.cmu.edu
Current research in specifications is beginning to emphasize the practical use of formal
specifications in program design. This thesis presents a specification approach, a …
[PDF] cmu.edu

[PDF][PDF] A Two-Tiered Approach to Specifying Programs

JM Wing - cs.cmu.edu
Current research in specifications is beginning to emphasize the practical use of formal
specifications in program design. This thesis presents a specification approach, a …