TOWARDS COMPREHENSIVE SPECIFICATIONS

被引：3
|
作者：
WATERS, SJ
机构：
来源：
COMPUTER JOURNAL | 1979年 / 22卷 / 03期
关键词：
D O I：
10.1093/comjnl/22.3.195
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：195 / 199
页数：5
相关论文
共 50 条
  • [1] Towards Executable Specifications for Microservices
    Quenum, Jose G.
    Aknine, Samir
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (IEEE SCC 2018), 2018, : 41 - 48
  • [2] Towards Abstraction for DynAlloy Specifications
    Aguirre, Nazareno M.
    Frias, Marcelo F.
    Ponzio, Pablo
    Cardiff, Brian J.
    Galeotti, Juan P.
    Regis, German
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 207 - +
  • [3] Towards correspondence carrying specifications
    Bujorianu, MC
    Boiten, EA
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 57 - 71
  • [4] Towards validation of specifications by simulation
    Letia, A
    Craciun, F
    Köpe, Z
    [J]. INFRASTRUCTURE FOR AGENTS, MULTI-AGENT SYSTEMS, AND SCALABLE MULTI-AGENT SYSTEMS, 2001, 1887 : 293 - 295
  • [5] Group communication specifications: A comprehensive study
    Chockler, GV
    Keidar, I
    Vitenberg, R
    [J]. ACM COMPUTING SURVEYS, 2001, 33 (04) : 427 - 469
  • [6] COMPREHENSIVE SPECIFICATIONS SERVICES + ARCHITECTURAL PROJECTS
    ROSENFELD, W
    [J]. PROGRESSIVE ARCHITECTURE, 1982, 63 (03): : 127 - 127
  • [7] Towards a theory of product design specifications
    Hansen, C. Thorp
    Andreasen, M. Myrup
    [J]. PROCEEDINGS OF NORDDESIGN 2004: PRODUCT DEVELOPMENT IN CHANGING ENVIRONMENT, 2004, : 9 - 20
  • [8] Towards consistent specifications of product families
    Harhurin, Alexander
    Hartmann, Judith
    [J]. FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 390 - 405
  • [9] TOWARDS A PROOF THEORY OF PARAMETERIZED SPECIFICATIONS
    PADAWITZ, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 375 - 391
  • [10] Towards Transfer Learning of Link Specifications
    Ngomo, Axel-Cyrille Ngonga
    Lehmann, Jens
    Hassan, Mofeed
    [J]. 2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC 2013), 2013, : 202 - 205
12345