SMT-based Debugging Support for Context-oriented Programming

被引：0
|
作者：
机构：
[1] Uchio, Shizuka
[2] Ubayashi, Naoyasu
[3] Kamei, Yasutaka
来源：
Uchio, S. | 1600年 / Japan Society for Software Science and Technology卷 / 29期
关键词：
8;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] An expressive and modular layer activation mechanism for Context-Oriented Programming
    Leger, Paul
    Cardozo, Nicolas
    Masuhara, Hidehiko
    INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 156
  • [22] Event-Specific Software Composition in Context-Oriented Programming
    Appeltauer, Malte
    Hirschfeld, Robert
    Masuhara, Hidehiko
    Haupt, Michael
    Kawauchi, Kazunori
    SOFTWARE COMPOSITION, PROCEEDINGS, 2010, 6144 : 50 - +
  • [23] An SMT-based Approach for Generating Coverage Oriented Metamodel Instances
    Wu, Hao
    INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN, 2016, 7 (03) : 23 - 50
  • [24] Context-Oriented Programming for Adaptive Wireless Sensor Network Software
    Afanasov, Mikhail
    Mottola, Luca
    Ghezzi, Carlo
    2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), 2014, : 233 - 240
  • [25] Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches
    Lierler, Yuliya
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (01) : 195 - 225
  • [26] Programming language implementations for context-oriented self-adaptive systems
    Cardozo, Nicolas
    Mens, Kim
    INFORMATION AND SOFTWARE TECHNOLOGY, 2022, 143
  • [27] Next Generation Context-oriented Programming: Embracing Dynamic Generation of Adaptations
    Cardozo, Nicolas
    Dusparic, Ivana
    JOURNAL OF OBJECT TECHNOLOGY, 2022, 21 (02):
  • [28] Context-oriented domain analysis
    Desmet, Brecht
    Vallejos, Jorge
    Costanza, Pascal
    De Meuter, Wolfgang
    D'Hondt, Theo
    MODELING AND USING CONTEXT, 2007, 4635 : 178 - +
  • [29] RTCOP: Context-Oriented Programming Framework based on C plus plus for Application in Embedded Software
    Tanigawa, Ikuta
    Hisazumi, Kenji
    Ogura, Nobuhiko
    Sugaya, Midori
    Watanabe, Harumi
    Fukuda, Akira
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND SYSTEMS (ICISS 2019), 2019, : 65 - 72
  • [30] SMT-based context-bounded model checking for CUDA programs
    Pereira, Phillipe
    Albuquerque, Higo
    da Silva, Isabela
    Marques, Hendrio
    Monteiro, Felipe
    Ferreira, Ricardo
    Cordeiro, Lucas
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (22):
12345