DIR 41 Case Study How Event-B Can Improve an Industrial System Specification

被引：0
|
作者：
Metayer, Christophe
Clabaut, Mathieu
机构：
来源：
ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS | 2008年 / 5238卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：357 / 357
页数：1
相关论文
共 50 条
  • [11] Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study
    Mery, Dominique
    Sawant, Rushikesh
    Tarasyuk, Anton
    MODEL AND DATA ENGINEERING, MEDI 2015, 2015, 9344 : 89 - 102
  • [12] Case Study: How Analysis of Customer Found Defects Can Be Used by System Test to Improve Quality
    Moritz, Evelyn
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 123 - 129
  • [13] Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners
    Filipovikj, Predrag
    Seceleanu, Cristina
    PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 92 - 103
  • [14] How Can We Help Software Rearchitecting Efforts? Study of an Industrial Case
    Govin, Brice
    Anquetil, Nicolas
    Etien, Anne
    Ducasse, Stephane
    Monegier, Arnaud
    32ND IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2016), 2016, : 509 - 518
  • [15] Agile Methodology in Online Learning and How It Can Improve Communication: A Case Study
    Petrescu, Manuela
    Sterca, Adrian
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 542 - 549
  • [16] HOW CAN SOCIAL NETWORKS IMPROVE THE RECRUITMENT PROCESS CASE STUDY - LINKEDIN
    Georgescu, Raluca Magda
    Savu, Ionut Catalin
    Militaru, Gheorghe
    PROCEEDINGS OF THE 12TH INTERNATIONAL MANAGEMENT CONFERENCE: MANAGEMENT PERSPECTIVES IN THE DIGITAL ERA (IMC 2018), 2018, : 644 - 652
  • [17] How to Improve Graduate Attributes Attainment with Virtual Reality: A Case Study in Industrial Engineering
    Urquizo, Henry Gomez
    Zeballos, Alonso Gomez
    2024 INTERNATIONAL SYMPOSIUM ON ACCREDITATION OF ENGINEERING AND COMPUTING EDUCATION, ICACIT 2024, 2024,
  • [18] How Assessing Plasticity Design Choices Can Improve UI Quality: A Case Study
    Serna, Audrey
    Calvary, Gaelle
    Scapin, Dominique L.
    EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2010, : 29 - 34
  • [19] A Case Study of How Alleviating "Pebbles in the Shoe" Can Improve Workflow Operations in the Emergency Department
    Savitzky, D.
    Chavda, Y.
    Reens, A.
    Datta, S.
    Caspers, C.
    ANNALS OF EMERGENCY MEDICINE, 2024, 84 (04) : S73 - S74
  • [20] How can we improve priority-setting for investments in health research? A case study of tuberculosis
    Khan, Mishal S.
    Rahman-Shepherd, Afifah
    Painter, Hannah
    Fletcher, Helen
    HEALTH RESEARCH POLICY AND SYSTEMS, 2019, 17 (1)
12345