BRIDGING THE GAP BETWEEN SPECIFICATION AND IMPLEMENTATION

被引:1
|
作者
DIETTERICH, TG
机构
关键词
D O I
10.1109/64.79714
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
[No abstract available]
引用
收藏
页码:80 / 82
页数:3
相关论文
共 50 条
  • [1] Bridging the gap between is definition and is specification
    Lander, R
    McRobb, S
    Stowell, FA
    [J]. SYSTEMS FOR SUSTAINABILITY: PEOPLE, ORGANIZATIONS, AND ENVIRONMENTS, 1997, : 583 - 588
  • [2] Bridging the Gap between the Quality Requirements and Implementation
    Merilinna, Janne
    Raty, Tomi
    [J]. 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), 2009, : 3 - 8
  • [3] Bridging the gap between formal specification and analysis of communication protocols
    Miller, RE
    Xue, Y
    [J]. CONFERENCE PROCEEDINGS OF THE 1996 IEEE FIFTEENTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS, 1996, : 225 - 231
  • [4] Reactor panel: Bridging the gap between the vision and implementation
    Meiris, Deborah C.
    [J]. DISEASE MANAGEMENT, 2007, 10 (06): : 324 - 327
  • [5] Bridging the gap between evidence and implementation for healthy ageing
    Pacific, Western
    [J]. LANCET REGIONAL HEALTH-WESTERN PACIFIC, 2023, 35
  • [6] Bridging the gap between object oriented design and implementation
    Nguyen, K
    Dillon, T
    [J]. TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 53 - 63
  • [7] BRIDGING THE GAP BETWEEN IMPLEMENTATION SCIENCE AND PARENTING INTERVENTION
    Fraser, Jenifer Goldman
    [J]. AMERICAN JOURNAL OF PUBLIC HEALTH, 2013, 103 (10) : E11 - E12
  • [8] Bridging the implementation gap between knowledge and action for health
    Haines, A
    Kuruvilla, S
    Borchert, M
    [J]. BULLETIN OF THE WORLD HEALTH ORGANIZATION, 2004, 82 (10) : 724 - 731
  • [9] Quality by Design Bridging the Gap between Concept and Implementation
    Milmo, Sean
    [J]. BIOPHARM INTERNATIONAL, 2014, 27 (04) : 12 - +
  • [10] Privacy in the Cloud: Bridging the Gap between Design and Implementation
    Manousakis, Vassilis
    Kalloniatis, Christos
    Kavakli, Evangelia
    Gritzalis, Stefanos
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS (CAISE), 2013, 148 : 455 - 465