FORMALIZATION OF OR PROCESS - EXTENDED REVIEW

被引:1
|
作者
BOWEN, KC [1 ]
机构
[1] DEF OPERAT ANAL ESTAB,W BYFLEET,ENGLAND
关键词
D O I
10.2307/3008983
中图分类号
C93 [管理学];
学科分类号
12 ; 1201 ; 1202 ; 120202 ;
摘要
引用
收藏
页码:369 / 376
页数:8
相关论文
共 50 条
  • [41] Formalization and Verification of PaxosStore from Process Algebra Perspective
    Xie, Wanling
    Yuan, Yang
    Zhu, Chenyang
    ELECTRONICS, 2025, 14 (05):
  • [42] FORMALIZATION OF THE PROCESS OF CONSTRUCTING INTEGRATED INFORMATION SYSTEMS MODELS
    Pavlenko, P. M.
    Yevdokimova, N. O.
    RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2005, 2 : 78 - 82
  • [43] Fear Appeals and Persuasion: A Review and Update of the Extended Parallel Process Model
    Maloney, Erin K.
    Lapinski, Maria K.
    Witte, Kim
    SOCIAL AND PERSONALITY PSYCHOLOGY COMPASS, 2011, 5 (04): : 206 - 219
  • [44] FORMALIZATION OF INTERRELATIONS BETWEEN OPERATORS AND DATA WITHIN THE FRAMEWORK OF AN EXTENDED ALGEBRA OF ALGORITHMS
    Akulovsky, V. G.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2008, 44 (06) : 941 - 950
  • [45] FORMALIZATION OF LOGICAL PROBLEMS AS MODEL-INTERSECTION PROBLEMS ON AN EXTENDED CLAUSE SPACE
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2021, 17 (04): : 1103 - 1117
  • [46] On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
    Okazaki, Hiroyuki
    FORMALIZED MATHEMATICS, 2023, 31 (01): : 53 - 57
  • [47] Formalization and analysis of the REST architecture from the process algebra perspective
    Wu, Xi
    Zhu, Huibiao
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 56 : 153 - 168
  • [48] Formalization of the Responsive and Formal Design Process using Category Theory
    Gebreyohannes, Solomon
    Edmonson, William
    Esterline, Albert
    12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 86 - 93
  • [49] FORMALIZATION OBSERVED IN TEN VOLUNTARY ASSOCIATIONS: CONCEPTS, MORPHOLOGY, PROCESS
    Chapin, F. Stuart
    Tsouderos, John E.
    SOCIAL FORCES, 1955, 33 (04) : 306 - 309
  • [50] The formalization of the MEMS automated design process by usage of Petri Networks
    Teslyuk, Vasyl
    Al-Shavabkeh, Hama
    Pereyma, Mykola
    Tarik, Al Omari
    Perspective Technologies and Methods in MEMS Design, 2007, : 133 - 134