5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023)

被引：0
|
作者：
Autili, Marco [1 ]
Bucaioni, Alessio [2 ]
Filippone, Gianluca [1 ]
Fotrousi, Farnaz [3 ]
Saddem, Rim [4 ]
Scoccia, Gian Luca [5 ]
机构：
[1] Univ Aquila, Laquila, Italy
[2] Malardalen Univ, Vasteras, Sweden
[3] Chalmers Univ, Gothenburg, Sweden
[4] Aix Marseille Univ, Marseille, France
[5] Gran Sasso Sci Inst, Laquila, Italy
来源：
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW | 2023年
关键词：
D O I：
10.1109/ASEW60602.2023.00034
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：9 / 10
页数：2
相关论文
共 50 条
  • [41] Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06)
    Pimentel, Ernesto
    Jacquet, Jean-Marie
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (09) : 669 - 670
  • [42] 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2013)
    Carver, Jeffrey C.
    Epperly, Thomas
    Hochstein, Lorin
    Maxville, Valerie
    Pfahl, Dietmar
    Sillito, Jonathan
    [J]. PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 1547 - +
  • [43] 5TH INTERNATIONAL WORKSHOP OF THE BELLMAN-CONTINUUM - FOREWORD
    LEW, A
    LEE, ES
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1994, 27 (9-10) : R11 - R11
  • [44] 5TH INTERNATIONAL WORKSHOP ON CHROMOSOMES IN SOLID TUMORS - ABSTRACTS
    不详
    [J]. CANCER GENETICS AND CYTOGENETICS, 1993, 66 (02) : 141 - 168
  • [45] Preface to the 5th edition of the Workshop on Modeling in Automotive System and Software Engineering (MASE’24)
    Bucaioni, Alessio
    Atlee, Joanne
    Dingle, Juergen
    Kokaly, Sahar
    [J]. Proceedings: MODELS 2024 - ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2024,
  • [46] 5th International Workshop on Product LinE Approaches in Software Engineering PLE for a Sustainable Society (PLEASE 2015)
    Rubin, Julia
    Botterweck, Goetz
    Pleuss, Andreas
    Weiss, David
    [J]. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2, 2015, : 989 - 990
  • [47] Welcome to the 5th international workshop on co-operative and human aspects of software engineering (CHASE 2012)
    [J]. 2012 5th International Workshop on Co-operative and Human Aspects of Software Engineering, CHASE 2012 - Proceedings, 2012,
  • [48] DUMA 2014: 5th International workshop on data usage management
    Kagal, Lalana
    Pretschner, Alexander
    [J]. Proceedings - IEEE Symposium on Security and Privacy, 2014, 2014-January
  • [49] 5th International Workshop on Mining Scientific Publications (WOSP 2016)
    Knoth, Petr
    Anastasiou, Lucas
    Herrmannova, Drahomira
    Pontika, Nancy
    [J]. 2016 IEEE/ACM JOINT CONFERENCE ON DIGITAL LIBRARIES (JCDL), 2016, : 295 - 297
  • [50] 5th international workshop on creativity in Requirements Engineering (CreaRE'15)
    Herrmann, Andrea
    Daneva, Maya
    Doerr, Joerg
    Hoffmann, Anne
    [J]. CEUR Workshop Proceedings, 2015, 1342 : 52 - 53
12345