FORMALIZATION OF OR PROCESS - EXTENDED REVIEW

被引：1
|
作者：
BOWEN, KC [1 ]
机构：
[1] DEF OPERAT ANAL ESTAB,W BYFLEET,ENGLAND
来源：
OPERATIONAL RESEARCH QUARTERLY | 1977年 / 28卷 / 02期
关键词：
D O I：
10.2307/3008983
中图分类号：
C93 [管理学];
学科分类号：
12 ; 1201 ; 1202 ; 120202 ;
摘要：
引用
收藏
页码：369 / 376
页数：8
相关论文
共 50 条
  • [31] Category Theoretic Based Formalization of the Verifiable Design Process
    Kibret, Nadew
    Edmonson, William
    Gebreyohannes, Solomon
    2019 13TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2019,
  • [32] MODES OF DISCRIMINATION IN THE RECRUITMENT PROCESS - FORMALIZATION, FAIRNESS AND EFFICIENCY
    JEWSON, N
    MASON, D
    SOCIOLOGY-THE JOURNAL OF THE BRITISH SOCIOLOGICAL ASSOCIATION, 1986, 20 (01): : 43 - 63
  • [33] Capacities-centered integral software process formalization
    Acuña, ST
    Giandini, R
    Lasserre, CM
    Quincoces, V
    XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 152 - 161
  • [34] THE CREATIVE PROCESS - ITS USE AND EXTENT OF FORMALIZATION BY CORPORATIONS
    FERNALD, LW
    NICKOLENKO, P
    JOURNAL OF CREATIVE BEHAVIOR, 1993, 27 (03): : 214 - 220
  • [35] Formalization and verification of event-driven process chains
    Dept. of Math. and Computing Science, Eindhoven Univ. Technol., P.O. B., Eindhoven, Netherlands
    Inf Software Technol, 10 (639-650):
  • [36] Formalization of Business Process with Flexibility Based on Service Interaction
    Liu, Yaya
    Jiang, Jiulei
    Xu, Lingyu
    Zhao, Lishuang
    2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, 2017, : 351 - 355
  • [37] A Review on Mechanical Proving and Formalization of Mathematical Theorems
    Chen, Si
    Yu, Wensheng
    Dou, Guowei
    Zhang, Qimeng
    IEEE ACCESS, 2025, 13 : 50672 - 50686
  • [38] Formalization and verification of event-driven process chains
    van der Aalst, WMP
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) : 639 - 650
  • [39] THE EFFECTS OF FORMALIZATION ON PROFESSIONAL INVOLVEMENT - A COMPENSATORY PROCESS APPROACH
    ORGAN, DW
    GREENE, CN
    ADMINISTRATIVE SCIENCE QUARTERLY, 1981, 26 (02) : 237 - 252
  • [40] Petri Nets Tool Creation for Process Visualisation and Formalization
    Balogh, Zoltan
    Kucharik, Michal
    DIVAI 2016: 11TH INTERNATIONAL SCIENTIFIC CONFERENCE ON DISTANCE LEARNING IN APPLIED INFORMATICS, 2016, : 67 - 76
12345