Specifications

被引：0

|

作者：

机构：

来源：

Refocus | 2006年 / 2卷 / 22期

关键词：

D O I：

10.1016/S1471-0846(06)70542-X

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] Specifications
Construction Specifier, 1998, 51 (05):
[32] SPECIFICATIONS CLINIC - FORMULATING MASTER OUTLINE SPECIFICATIONS
ROSENFELD, W
PROGRESSIVE ARCHITECTURE, 1980, 61 (03): : 109 - 109
[33] Specifications for organized breast cancer screening - Specifications for radiologists
不详
JOURNAL DE RADIOLOGIE, 2006, 87 (12): : S27 - S46
[34] The shift to warranties and performance specifications: what of method specifications?
Guo, Kelu
Minchin, Edward
Ferragut, Ted
CONSTRUCTION MANAGEMENT AND ECONOMICS, 2005, 23 (09) : 953 - 963
[35] TRANSFORMATIONS OF SEQUENTIAL SPECIFICATIONS INTO CONCURRENT SPECIFICATIONS BY SYNCHRONIZATION GUARDS
JANICKI, R
MULDNER, T
THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 97 - 129
[36] MATERIALS AND THEIR SPECIFICATIONS FOR VASCULAR PROSTHESES - SPECIFICATIONS AND PERFORMANCE STANDARDS
LONTZ, JF
ARTIFICIAL ORGANS, 1986, 10 (06) : 443 - 445
[37] A specification translation from behavioral specifications to rewrite specifications
Nakamura, Masaki
Kong, Weiqiang
Gata, Kazuhiro
Futatsugi, Kokichi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008, E91D (05): : 1492 - 1503
[38] Formal Automated Transformation of SDL Specifications to Lotos Specifications
El-Gendy, Hazem
El Kadhi, Nabil
Debnath, Narayan
2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
[39] On relating functional specifications to architectural specifications: A case study
Corradini, F
Inverardi, P
Wolf, AL
SCIENCE OF COMPUTER PROGRAMMING, 2006, 59 (03) : 171 - 208
[40] Formal automated transformation of lotos specifications to SDL specifications
El-Gendy, H
8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241

← 1 2 3 4 5 →