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 条
  • [21] How can we improve priority-setting for investments in health research? A case study of tuberculosis
    Mishal S. Khan
    Afifah Rahman-Shepherd
    Hannah Painter
    Helen Fletcher
    Health Research Policy and Systems, 17
  • [22] How Can Corpus Linguistics Help Improve Requirements Writing? Specifications of a Space Project as a Case Study
    Warnier, Maxime
    2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2015, : 388 - 392
  • [23] Can the Brighton Collaboration case definitions be used to improve the quality of Adverse Event Following Immunization (AEFI) reporting? Anaphylaxis as a case study
    Gold, Michael S.
    Gidudu, Jane
    Erlewyn-Lajeunesse, Mich
    Law, Barbara
    VACCINE, 2010, 28 (28) : 4487 - 4498
  • [24] Using Defect Taxonomies to Improve the Maturity of the System Test Process: Results from an Industrial Case Study
    Felderer, Michael
    Beer, Armin
    SOFTWARE QUALITY: INCREASING VALUE IN SOFTWARE AND SYSTEMS DEVELOPMENT, 2013, 133 : 125 - 146
  • [25] How the Consolidated Framework for Implementation Research Can Strengthen Findings and Improve Translation of Research Into Practice: A Case Study
    Klafke, Nadja
    Mahler, Cornelia
    von Hagens, Cornelia
    Wensing, Michel
    Schneeweiss, Andreas
    Mueller, Andreas
    Szecsenyi, Joachim
    Joos, Stefanie
    ONCOLOGY NURSING FORUM, 2017, 44 (05) : E223 - E231
  • [26] How a regional broker can improve industry demand for university interaction A case study of the London Technology Network
    Reid, Peter
    Schofield, Matt
    INDUSTRY AND HIGHER EDUCATION, 2006, 20 (06) : 413 - 420
  • [27] A Practical Study on How Proactive Quality Approach Can Improve System Development Process to Ensure System-Effectiveness and -Performance
    Aziz, Haokar
    Qvenild, Rolf
    Falk, Kristin
    INCOSE International Symposium, 2019, 29 (01) : 500 - 526
  • [28] Case study: B2B e-commerce system specification and implementation employing Use-Case diagrams, digital signatures and XML
    Sheldon, FT
    Jerath, K
    Pilskalns, O
    Kwon, YJ
    Kim, WH
    Chung, H
    FOURTH INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2002, : 106 - 113
  • [29] A New Perspective on Continuing Mental Health Education: A Case Study on How Reflective Practice Can Improve Resilience in Paramedics
    Wolff, David
    INTERNATIONAL JOURNAL OF QUALITATIVE METHODS, 2020, 19
  • [30] How Small Firms in the High Quality Food Sector Can Improve Their Business Performance: The Ligurian Oil Case Study
    Locatelli, Giorgio
    Mancini, Mauro
    BUSINESS PERFORMANCE MEASUREMENT AND MANAGEMENT: NEW CONTEXTS, THEMES AND CHALLENGES, 2010, : 89 - 101
12345