Object-process diagrams as an explicit algorithm-specification tool

被引:0
|
作者
Wenyin, Liu [1 ,2 ]
Dori, Dov [3 ]
机构
[1] Microsoft Research, Beijing, China
[2] Dept. of Comp. Sci. and Technology, Tsinghua University, Beijing, China
[3] Fac. of Indust. Eng. and Management, Technion, Israel Institute of Technology, Haifia, Israel
来源
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:52 / 59
相关论文
共 50 条
  • [1] Object-process diagrams as an explicit algorithm-specification tool
    Liu, WY
    Dori, D
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 12 (02): : 52 - 59
  • [2] A generic integrated line detection algorithm and its object-process specification
    Liu, WY
    Dori, D
    [J]. COMPUTER VISION AND IMAGE UNDERSTANDING, 1998, 70 (03) : 420 - 437
  • [3] Representing control flow constructs in object-process diagrams
    Peleg, M
    Dori, D
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1998, 11 (03): : 58 - +
  • [4] A graph grammar-based formal validation of object-process diagrams
    Bibliowicz, Arieh
    Dori, Dov
    [J]. SOFTWARE AND SYSTEMS MODELING, 2012, 11 (02): : 287 - 302
  • [5] A graph grammar-based formal validation of object-process diagrams
    Arieh Bibliowicz
    Dov Dori
    [J]. Software & Systems Modeling, 2012, 11 : 287 - 302
  • [6] Object-Process Model-Based Operational Viewpoint Specification for Aerospace Architectures
    Mordecai, Yaniv
    James, Nicholas K.
    Crawley, Edward F.
    [J]. 2020 IEEE AEROSPACE CONFERENCE (AEROCONF 2020), 2020,
  • [7] Domain modeling with object-process methodology
    Sturm, Amon
    Dori, Dov
    Shehory, Onn
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 144 - +
  • [8] OPCAT - Object-Process CASE Tool: An integrated system engineering environment (ISEE)
    Dori, D
    Sturm, A
    [J]. OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 555 - 556
  • [9] Model-Based Specification of Integrated Modular Avionics Systems using Object-Process Methodology
    Valdivia de Matos, Humberto Luiz
    [J]. 2018 IEEE/AIAA 37TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2018, : 907 - 914
  • [10] Business process improvement using Object-Process Methodology
    Casebolt, Jason M.
    Jbara, Ahmad
    Dori, Dov
    [J]. SYSTEMS ENGINEERING, 2020, 23 (01) : 36 - 48