REAL-TIME PROGRAMMING SPECIFICATIONS

被引：0
|
作者：
HEAD, RV
机构：
来源：
COMMUNICATIONS OF THE ACM | 1963年 / 6卷 / 07期
关键词：
D O I：
10.1145/366663.366665
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：376 / 383
页数：8
相关论文
共 50 条
  • [1] A real-time programming language as a means of expressing specifications
    Colnaric, M
    Verber, D
    Halang, WA
    CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 975 - 981
  • [2] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
  • [3] Real-time specifications
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Ulrik Nyman
    Louis-Marie Traonouez
    Andrzej Wąsowski
    International Journal on Software Tools for Technology Transfer, 2015, 17 : 17 - 45
  • [4] Refactoring Real-time Specifications
    Smith, Graeme
    McComb, Tim
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 (0C) : 359 - 380
  • [5] Decomposing real-time specifications
    Olderog, ER
    Dierks, H
    COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 465 - 489
  • [6] REAL-TIME PROGRAMMING
    HEHNER, ECR
    INFORMATION PROCESSING LETTERS, 1989, 30 (01) : 51 - 56
  • [7] Real-time specifications of the geospace environment
    Kamide, Y
    Kihn, EA
    Ridley, AJ
    Cliver, EW
    Kadowaki, Y
    SPACE SCIENCE REVIEWS, 2003, 107 (1-2) : 307 - 316
  • [8] Real-Time Specifications of the Geospace Environment
    Y. Kamide
    E.A. Kihn
    A.J. Ridley
    E.W. Cliver
    Y. Kadowaki
    Space Science Reviews, 2003, 107 : 307 - 316
  • [9] Automatic abstractions of real-time specifications
    Brockmeyer, M
    FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
  • [10] Exploring real-time programming
    Wilmshurst, T
    ELECTRONICS WORLD, 2002, 108 (1789): : 54 - 60
12345