Practical interface specification

被引：0

作者：

Hoffman, Daniel ^{[1
]}

机构：

[1] Univ of Victoria, Canada

来源：

关键词：

17;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：127 / 148

共 50 条

[1] PRACTICAL INTERFACE SPECIFICATION
HOFFMAN, D
SOFTWARE-PRACTICE & EXPERIENCE, 1989, 19 (02): : 127 - 148
[2] PRACTICAL EXPERIENCE OF FORMAL SPECIFICATION - A PROGRAMMING INTERFACE FOR COMMUNICATIONS
WORDSWORTH, J
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 140 - 158
[3] Specification by interface separation
Hayes, I.J.
Sanders, J.W.
Formal Aspects of Computing, 1995, 7 (04): : 430 - 439
[4] PRACTICAL METHODS AND TOOLS FOR SPECIFICATION
LUDEWIG, J
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 174 - 207
[5] PRACTICAL EFFECTS OF RESPONSE SPECIFICATION
SHULL, RL
BEHAVIORAL AND BRAIN SCIENCES, 1994, 17 (01) : 150 - 150
[6] A practical approach to incremental specification
Lakos, C
Lewis, G
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 233 - 256
[7] SPI - A PACS INTERFACE SPECIFICATION
TESCHE, G
MEDICAL INFORMATICS, 1988, 13 (04): : 281 - 288
[8] Behavioral Interface Specification Languages
Hatcliff, John
Leavens, Gary T.
Leino, K. Rustan M.
Mueller, Peter
Parkinson, Matthew
ACM COMPUTING SURVEYS, 2012, 44 (03)
[9] Interface specification for reconfigurable components
Singh, S
IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 102 - 109
[10] ON METHODS FOR INTERFACE SPECIFICATION AND DESIGN
RICHARDS, JNJ
BEZ, HE
GITTINS, DT
COOKE, DJ
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1986, 24 (06): : 545 - 568