PROCESS SPECIFICATIONS

被引：0
|
作者：
MCCORMAC.F
机构：
来源：
MACHINE DESIGN | 1970年 / 42卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TH [机械、仪表工业];
学科分类号：
0802 ;
摘要：
引用
收藏
页码：96 / &
相关论文
共 50 条
  • [41] State space reduction for process algebra specifications
    Garavel, H
    Serwe, W
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 164 - 180
  • [42] Discovering semantic web services with process specifications
    Suwannopas, Piya
    Senivongse, Twittie
    DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCEEDINGS, 2006, 4025 : 113 - 127
  • [43] Decomposition of requirements specifications for batch process control
    Love, J
    Bunch, M
    CHEMICAL ENGINEERING RESEARCH & DESIGN, 1998, 76 (A8): : 973 - 979
  • [44] MODULAR SPECIFICATIONS IN PROCESS ALGEBRA WITH CURIOUS QUEUES
    VANGLABBEEK, R
    VAANDRAGER, F
    ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 465 - 506
  • [45] Decision process specifications - A process for defining professional and managerial work processes
    Konnersman, PM
    INNOVATION IN TECHNOLOGY MANAGEMENT - THE KEY TO GLOBAL LEADERSHIP: THE KEY TO GLOBAL LEADERSHIP, 1997, : 335 - 340
  • [46] Visualization support for managing large business process specifications
    Streit, A
    Pham, B
    Brown, R
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2005, 3649 : 205 - 219
  • [47] Paraconsistent reasoning for inconsistency measurement in declarative process specifications
    Corea, Carl
    Kuhlmann, Isabelle
    Thimm, Matthias
    John, Grant
    INFORMATION SYSTEMS, 2024, 122
  • [48] Paradigms in business process management specifications: a critical overview
    Chountalas, Panos T.
    Lagodimos, Athanasios G.
    BUSINESS PROCESS MANAGEMENT JOURNAL, 2019, 25 (05) : 1040 - 1069
  • [49] Process Capability Analysis Plot for a Product with Bilateral Specifications
    Dario Guevara, Ruben
    Alberto Vargas, Jose
    REVISTA COLOMBIANA DE ESTADISTICA, 2011, 34 (02): : 287 - 301
  • [50] On the complexity of some verification problems in process control specifications
    ter Hofstede, AHM
    Orlowska, ME
    COMPUTER JOURNAL, 1999, 42 (05): : 349 - 359
12345