TOWARDS FORMAL SPECIFICATION OF A DISTRIBUTED COMPUTING SYSTEM

被引：1
|
作者：
AGRAWAL, VK [1 ]
PATNAIK, LM [1 ]
GOEL, PS [1 ]
机构：
[1] INDIAN INST SCI,BANGALORE 560012,KARNATAKA,INDIA
来源：
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES | 1985年 / 14卷 / 05期
关键词：
D O I：
10.1007/BF00987039
中图分类号：
G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];
学科分类号：
1205 ; 120501 ;
摘要：
引用
收藏
页码：277 / 306
页数：30
相关论文
共 50 条
  • [31] Towards a Formal Model for Cloud Computing
    Benzadri, Zakaria
    Belala, Faiza
    Bouanaka, Chafia
    SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 381 - 393
  • [32] Formal Specification of a Cardiac Pacing System
    Gomes, Artur Oliveira
    Medeiros Oliveira, Marcel Vinicius
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 692 - 707
  • [33] A formal specification for a fuzzy expert system
    Matthews, C
    INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (07) : 419 - 429
  • [34] JUSTIFICATION OF FORMAL METHODS FOR SYSTEM SPECIFICATION
    COHEN, B
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 26 - 35
  • [35] A formal specification in B of an operating system
    School of Software, Henan University, Kaifeng
    Henan
    475004, China
    不详
    Henan
    475004, China
    不详
    Henan
    475004, China
    Open. Cybern. Syst. J., 1 (1125-1129):
  • [36] Towards a Formal Specification Framework for Manufacturing Execution Systems
    Witsch, Maria
    Vogel-Heuser, Birgit
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 311 - 320
  • [37] Towards a Formal Specification of Multi-Paradigm Modelling
    Amrani, Moussa
    Blouin, Dominique
    Heinrich, Robert
    Rensink, Arend
    Vangheluwe, Hans
    Wortmann, Andreas
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 419 - 424
  • [38] Towards a formal framework for the specification of hybrid fuzzy modeling
    Valdés, M
    Botía, JA
    Gómez-Skarmeta, AF
    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1 AND 2, 2003, : 1014 - 1019
  • [39] Towards a formal model for QoS specification and handling in networks
    Mammeri, Z
    2004 TWELFTH IEEE INTERNATIONAL WORKSHOP ON QUALITY OF SERVICE, 2004, : 148 - 152
  • [40] Towards Industrial Formal Specification of Programmable Safety Systems
    Ljungkrantz, Oscar
    Akesson, Knut
    Yuan, Chengyin
    Fabian, Martin
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2012, 20 (06) : 1567 - 1574
12345