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 条
  • [21] Action systems for security specification
    Sinclair, J
    9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1996, : 102 - 113
  • [22] Specification of an information capture system to support distributed engineering design teams
    Conway, A. P.
    Wodehouse, A. J.
    Ion, W. J.
    Lynn, A.
    GLOBAL DESIGN TO GAIN A COMPETITIVE EDGE: AN HOLISTIC AND COLLABORATIVE DESIGN APPROACH BASED ON COMPUTATIONAL TOOLS, 2008, : 221 - 230
  • [23] An approach for integrated specification and design of real-time systems
    Tanurhan, Y
    Schmerler, S
    Golz, HP
    MullerGlaser, KD
    EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 258 - 263
  • [24] SPECIFICATION AND DESIGN OF TRANSACTIONS IN INFORMATION-SYSTEMS - A FORMAL APPROACH
    BABIN, G
    LUSTMAN, F
    SHOVAL, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (08) : 814 - 829
  • [25] Extended Design-by-Contract approach to specification and conformance testing of distributed software
    Kuliamin, Victor
    Pakoulin, Nickolay
    Petrenko, Alexander
    WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 7, 2005, : 65 - 70
  • [26] Compositional specification of distributed systems by distributed graph transformation
    Koch, M
    COMMUNICATION-BASED SYSTEMS, 2000, : 73 - 91
  • [27] A systematic approach to the design of distributed wearable systems
    Anliker, U
    Beutel, J
    Dyer, M
    Enzler, R
    Lukowicz, P
    Thiele, L
    Tröster, G
    IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (08) : 1017 - 1033
  • [28] An approach to incremental design of distributed embedded systems
    Pop, P
    Eles, P
    Pop, T
    Peng, Z
    38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 450 - 455
  • [29] A UML approach to the design of open distributed systems
    Bordbar, B
    Derrick, J
    Waters, G
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 561 - 572
  • [30] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
12345