Automated model analysis tools and techniques presented at FASE 2019

被引：0
|
作者：
Haehnle, Reiner [1 ]
Van der Aalst, Wil [2 ]
机构：
[1] Tech Univ Darmstadt, Darmstadt, Germany
[2] Rhein Westfal TH Aachen, Aachen, Germany
来源：
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 2021年 / 23卷 / 03期
关键词：
Model transformation; Test generation; Model synchronization; Graph repair; Data flow analysis;
D O I：
10.1007/s10009-020-00589-6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.
引用
下载
收藏
页码：285 / 287
页数：3
相关论文
共 50 条
  • [11] Systematic analysis of automated threat modelling techniques: Comparison of open-source tools
    Daniele Granata
    Massimiliano Rak
    Software Quality Journal, 2024, 32 : 125 - 161
  • [12] Adoption of automated software engineering tools and techniques in Thailand
    Ragkhitwetsagul, Chaiyong
    Krinke, Jens
    Choetkiertikul, Morakot
    Sunetnanta, Thanwadee
    Sarro, Federica
    EMPIRICAL SOFTWARE ENGINEERING, 2024, 29 (04)
  • [13] Analysis Tools, techniques and strategies
    Civelli, Ignaz
    KRIMINALISTIK, 2010, 64 (8-9): : 480 - 483
  • [14] Tools & Techniques of Failure Analysis
    Stevenson, Michael E.
    JOURNAL OF FAILURE ANALYSIS AND PREVENTION, 2016, 16 (03) : 325 - 325
  • [15] APPLICATION OF AUTOMATED PHOTOGRAMMETRY AND LIGHTING TECHNIQUES WITH GIS TOOLS FOR VISUALISATION AND ANALYSIS OF A SLAB WITH ANTHROPOMORPHOUS RELIEFS
    Torregrosa-Fuentes, David
    Spairani Berrio, Yolanda
    Huesca Tortosa, Jose Antonio
    Cuevas Gonzalez, Jaime
    Torregrosa Fuentes, Adrian Jose
    VIRTUAL ARCHAEOLOGY REVIEW, 2018, 9 (19): : 114 - 124
  • [16] Analysis of Automated Contrast Checking Tools
    Almeida, Rafael
    Duarte, Carlos
    17TH INTERNATIONAL WEB FOR ALL CONFERENCE (WEB4ALL), 2020,
  • [17] Tools for Automated Analysis of Cybercriminal Markets
    Portnoff, Rebecca S.
    Afroz, Sadia
    Durrett, Greg
    Kummerfeld, Jonathan K.
    Berg-Kirkpatrick, Taylor
    McCoy, Damon
    Levchenko, Kirill
    Paxson, Vern
    PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON WORLD WIDE WEB (WWW'17), 2017, : 657 - 666
  • [18] AUTOMATED TECHNIQUES IN PHARMACEUTICAL ANALYSIS
    KUZEL, NR
    ROUDEBUSH, HE
    STEVENSON, CE
    JOURNAL OF PHARMACEUTICAL SCIENCES, 1969, 58 (04) : 381 - +
  • [19] Generic techniques and CAD tools for automated generation of FPGA layout
    Parvez, Husain
    Mrabet, Hayder
    Mehrez, Habib
    PRIME: 2008 PHD RESEARCH IN MICROELECTRONICS AND ELECTRONICS, PROCEEDINGS, 2008, : 141 - 144
  • [20] New tools for automated model completion and refinement
    Echols, N.
    Morshed, N.
    Moriarty, N.
    Afonine, P.
    Terwilliger, T.
    Adams, P.
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2014, 70 : C327 - C327
12345