A REUSE BASE FOR REAL-TIME SOFTWARE SPECIFICATIONS

被引：0
|
作者：
IHME, T [1 ]
机构：
[1] TECH RES CTR FINLAND,COMP TECHNOL LAB,SF-90571 OULU,FINLAND
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1989年 / 27卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(89)90125-7
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：639 / 646
页数：8
相关论文
共 50 条
  • [1] Requirements specifications checking of embedded real-time software
    Guoqing Wu
    Fengdi Shu
    Min Wang
    Weiqing Chen
    [J]. Journal of Computer Science and Technology, 2002, 17 : 56 - 63
  • [2] Requirements specifications checking of embedded real-time software
    Wu, GQ
    Shu, FD
    Wang, M
    Chen, WQ
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (01) : 56 - 63
  • [3] A REAL-TIME DISTRIBUTED SIMULATION OF PBX WITH SOFTWARE REUSE
    CHANG, CK
    CHANG, YF
    AOYAMA, M
    [J]. SIMULATION, 1990, 54 (02) : 71 - 79
  • [4] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
  • [5] A software environment for custom simulation and monitoring of real-time specifications
    Brockmeyer, M
    Jahanian, F
    Winner, E
    Heitmeyer, C
    Labaw, B
    [J]. 1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 78 - 84
  • [6] Real-time specifications
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Ulrik Nyman
    Louis-Marie Traonouez
    Andrzej Wąsowski
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 17 - 45
  • [7] Building soft real-time monitors based on software reuse
    Hsu, ML
    Kuo, TW
    [J]. FOURTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS - PROCEEDINGS, 1998, : 55 - 66
  • [8] The Effect of Real-Time Software Reuse in FPGAs and Microcontrollers with respect to Software Faults
    Salewski, Falk
    Kowalewski, Stefan
    [J]. 2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 141 - 148
  • [9] Type checking for software system specifications in real-time process algebra
    Liu, CW
    Tan, XM
    [J]. DCABES 2004, PROCEEDINGS, VOLS, 1 AND 2, 2004, : 1077 - 1083
  • [10] REAL-TIME PROGRAMMING SPECIFICATIONS
    HEAD, RV
    [J]. COMMUNICATIONS OF THE ACM, 1963, 6 (07) : 376 - 383
12345