BRIDGING THE GAP BETWEEN SPECIFICATION AND IMPLEMENTATION

被引：1
|
作者：
DIETTERICH, TG
机构：
来源：
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS | 1991年 / 6卷 / 02期
关键词：
D O I：
10.1109/64.79714
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
[No abstract available]
引用
收藏
页码：80 / 82
页数：3
相关论文
共 50 条
  • [21] Bridging the gap between AUM/T and implementation using IOM/T
    Doi, T
    Yoshioka, N
    Tahara, Y
    Honiden, S
    [J]. PROGRAMMING MULTI-AGENT SYSTEMS, 2005, 3346 : 147 - 162
  • [22] Implementation and Efficacy of Plyometric Training: Bridging the Gap Between Practice and Research
    Watkins, Casey M.
    Storey, Adam G.
    McGuigan, Michael R.
    Gill, Nicholas D.
    [J]. JOURNAL OF STRENGTH AND CONDITIONING RESEARCH, 2021, 35 (05) : 1244 - 1255
  • [23] Bridging the Gap Between Design and Implementation of Discrete-Event Controllers
    Moreira, Marcos Vicente
    Basilio, Joao Carlos
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (01) : 48 - 65
  • [24] Knowledge Management technology implementation: Bridging the gap between theory and practice
    Muthaiayh, Saravanan
    [J]. KMIS 2014 - Proceedings of the International Conference on Knowledge Management and Information Sharing, 2014, : 393 - 399
  • [25] Aspect-oriented modeling: Bridging the gap between implementation and design
    Elrad, T
    Aldawud, O
    Bader, A
    [J]. GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2002, 2487 : 189 - 201
  • [26] INFORMAL AND FORMAL REQUIREMENTS SPECIFICATION LANGUAGES - BRIDGING THE GAP
    FRASER, MD
    KUMAR, K
    VAISHNAVI, VK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (05) : 454 - 466
  • [27] Bridging the HIV/AIDS implementation gap
    Mauerstein-Bail, M
    [J]. XV INTERNATIONAL AIDS CONFERENCE: POLICY AND PROGRAM IMPLEMENTATION, 2004, : 149 - 152
  • [28] Bridging the framework modeling and implementation gap
    Bunting, R
    [J]. IBM SYSTEMS JOURNAL, 2000, 39 (02) : 267 - 284
  • [29] Towards adaptive secure group communication Bridging the gap between formal specification and network simulation
    Gutierrez-Nolasco, Sebastian
    Venkatasubramanian, Nalini
    Stehr, Mark-Oliver
    Talcott, Carolyn
    [J]. 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2006, : 113 - +
  • [30] TOSCA Light: Bridging the Gap between the TOSCA Specification and Production-ready Deployment Technologies
    Wurster, Michael
    Breitenbuecher, Uwe
    Harzenetter, Lukas
    Leymann, Frank
    Soldani, Jacopo
    Yussupov, Vladimir
    [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE (CLOSER), 2020, : 216 - 226
12345