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 条
  • [21] Formal specification of evolving distributed software architectures
    Justo, GRR
    de Paula, VC
    Cunha, PRF
    NINTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1998, : 548 - 553
  • [22] Formal specification of system functions
    Spanfelner, Bernd
    Leuxner, Christian
    Sitou, Wassiou
    2009 ICSE WORKSHOP ON MODELING IN SOFTWARE ENGINEERING (MISE), 2009, : 26 - 31
  • [23] TOWARDS A PARTITIONING COMPILER FOR A DISTRIBUTED COMPUTING SYSTEM.
    El-Dessouki, O.
    Huen, W.
    Evens, M.
    Journal of Digital Systems, 1600, 5 (1-2): : 157 - 179
  • [24] Towards formal specification and generation of autonomic policies
    Sterritt, R
    Hinchey, MG
    Rash, JL
    Truszkowski, W
    Rouff, CA
    Gracanin, D
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS, 2005, 3823 : 1245 - 1254
  • [25] Towards a full formal specification of the javacard API
    Computing Science Institute, University of Nijmegen, Toernooiveld 1, ED, Nijmegen, Netherlands
    Lect. Notes Comput. Sci., (165-178):
  • [26] Towards formal specification of abstract security properties
    Mana, Antonio
    Pujol, Gimena
    ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY, 2008, : 80 - +
  • [27] FORMAL SYSTEM OF SPECIFICATION, GENERATION AND ANALYSIS OF MESSAGE STRUCTURES IN DISTRIBUTED COMPUTER-SYSTEMS
    ZAITSEV, SS
    KRAVTSUNOV, MI
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1985, (03): : 5 - 15
  • [28] Specification of distributed systems with a combination of graphical and formal languages
    Johnsen, EB
    Zhang, WH
    Owe, O
    Aredo, DB
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 105 - 108
  • [29] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [30] Towards formal theory of soft computing
    V. Novák
    Soft Computing, 1998, 2 (1) : 4 - 6
12345