ACTION SYSTEM APPROACH TO THE SPECIFICATION AND DESIGN OF DISTRIBUTED SYSTEMS

被引：0
|
作者：
KURKISUONIO, R
JARVINEN, HM
机构：
来源：
SOFTWARE DEVELOPMENT TRENDS | 1989年 / 104卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：9 / 21
页数：13
相关论文
共 50 条
  • [31] Specification of secure distributed collaboration systems
    Tripathi, AR
    Ahmed, T
    Kumar, R
    ISADS 2003: SIXTH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2003, : 149 - 156
  • [32] Graphical Specification Language for Distributed Systems
    Galicia, Jorge Cortes
    Garcia, Felipe Rolando Menchaca
    CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 385 - +
  • [33] TRANSFER FUNCTION APPROACH TO OUTPUT SPECIFICATION IN CERTAIN LINEAR DISTRIBUTED PARAMETER SYSTEMS
    Johnson, Harry L.
    Russell, David L.
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2003, : 449 - 458
  • [34] Formal specification and analysis of distributed systems
    HENRIKAS PRANEVICIUS
    Journal of Intelligent Manufacturing, 1998, 9 : 559 - 569
  • [35] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1086 - 1089
  • [36] AutoFocus: A tool for distributed systems specification
    Lect Notes Comput Sci, (467):
  • [37] Modeling and specification of distributed timed systems
    Ortiz, James J.
    INGENIERIA Y COMPETITIVIDAD, 2013, 15 (02): : 115 - 124
  • [38] Formal specification and analysis of distributed systems
    Pranevicius, H
    JOURNAL OF INTELLIGENT MANUFACTURING, 1998, 9 (06) : 559 - 569
  • [39] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1161 - 1163
  • [40] COMPOSITIONAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    JONSSON, B
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (02): : 259 - 303
12345