OPERATING SYSTEM BASED ON THE BTRON SPECIFICATIONS

被引：0
|
作者：
SHIMIZU, M [1 ]
KUSHIKI, Y [1 ]
SAKAMURA, K [1 ]
机构：
[1] UNIV TOKYO,FAC SCI,DEPT INFORMAT SCI,BUNKYO KU,TOKYO 113,JAPAN
来源：
MICROPROCESSORS AND MICROSYSTEMS | 1989年 / 13卷 / 08期
关键词：
D O I：
10.1016/0141-9331(89)90105-1
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：525 / 535
页数：11
相关论文
共 50 条
  • [1] Design policy of the operating system based on the BTRON2 specification
    Sakamura, K.
    Proceedings of the TRON Project Symposium, 1990,
  • [2] BTRON - THE BUSINESS-ORIENTED OPERATING SYSTEM
    SAKAMURA, K
    IEEE MICRO, 1987, 7 (02) : 53 - 65
  • [3] A distributed hypermedia operating system: Net-BTRON
    Shigesada, Y
    Koshizuka, N
    Sakamura, K
    2000 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY PROCEEDINGS, VOLS. I & II, 2000, : 1400 - 1411
  • [4] Handling of Operating Modes in Contract-Based Timing Specifications
    Kroeger, Janis
    Koopmann, Bjoern
    Stierand, Ingo
    Tabassam, Nadra
    Fraenzle, Martin
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS (VECOS 2021), 2022, 13187 : 59 - 74
  • [5] REALTIME OPERATING SYSTEM INTERFACE SPECIFICATIONS FOR COMMUNICATIONS-SYSTEMS - IROS
    MIYABE, H
    NTT REVIEW, 1993, 5 (05): : 78 - 82
  • [6] System design based on interface specifications
    Shaw, E
    Khordoc, K
    2000 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS 1 AND 2: NAVIGATING TO A NEW ERA, 2000, : 189 - 193
  • [7] New Functionalities of the System for Processing Natural Language Specifications and its Operating Environment
    Mishchenko N.M.
    Morokhovets M.K.
    Felizhanko O.D.
    Shtelik Y.V.
    Shchogoleva N.N.
    Cybernetics and Systems Analysis, 2018, 54 (6) : 883 - 891
  • [8] USING DATA FLOW SPECIFICATIONS + INTERACTIVE EDITING IN THE OPERATING SYSTEM USER INTERFACE
    SZWILLUS, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 149 - 157
  • [9] A Standardized Approach to Derive System Specifications for Drones Operating in the Future UTM Scenario
    Fontanella, Rita
    Vetrella, Amedeo Rodi
    Fasano, Giancarmine
    Accardo, Domenico
    Lo Moriello, Rosario Schiano
    Angrisani, Leopoldo
    Girard, Remy
    2017 5TH IEEE INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS (MT-ITS), 2017, : 250 - 255
  • [10] OPERATING SPECIFICATIONS OF THE OBJECTRELATIONAL DATA MODEL
    Chaplanova, E.
    RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2012, 1 : 75 - 79
12345