Improving the Specification of Business Application Requirements Based on Executable Models

被引：0
|
作者：
Filipovic, Milorad [1 ]
机构：
[1] University of Novi Sad (Serbia)
来源：
ProQuest Dissertations and Theses Global | 2023年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Information management
引用
收藏
相关论文
共 50 条
  • [1] Application of Heuristics in Business Process Models to Support Software Requirements Specification
    Nogueira, Fernando Aparecido
    de Oliveira, Hilda Carvalho
    ICEIS: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2017, : 40 - 51
  • [2] Executable requirements specification: Formal semantics of Live Activity Diagrams
    Knicke, Christoph
    Huhn, Michaela
    Lochau, Malte
    TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2008, : 109 - 112
  • [3] Automated conversion from a requirements document to an executable formal specification
    Lee, BS
    16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 437 - 437
  • [4] Developing executable models of business systems
    Barjis, Joseph
    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2007, : 5 - 13
  • [5] Executable protocol models as a requirements engineering tool
    McNeile, Ashley
    Roubtsova, Ella
    41ST ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2008, : 95 - +
  • [6] Compiling business process models into executable code
    Faculty of Informatics, University of Lugano, Switzerland
    Handbook of Res. on Bus. Proc. Modeling, 1600, (318-337):
  • [7] Executable acceptance tests for communicating business requirements: Customer perspective
    Melnik, Grigori
    Maurer, Frank
    Chiasson, Mike
    AGILE 2006, PROCEEDINGS, 2006, : 35 - +
  • [8] AMBERS: Improving requirements specification through assertive models and SCADE/DOORS integration
    Fortes da Cruz, Marcelin
    Raistrick, Paul
    SAFETY OF SYSTEMS, 2007, : 217 - +
  • [9] From Requirements to Verifiable Executable Models Using Rebeca
    Sirjani, Marjan
    Provenzano, Luciana
    Asadollah, Sara Abbaspour
    Moghadam, Mahshid Helali
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2021, 12524 : 67 - 86
  • [10] Improving Requirements Classification Models based on Explainable Requirements Concerns
    Han, Lu
    Zhou, QiXiang
    Li, Tong
    2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 95 - 101
12345