DATALOG FOR ENTERPRISE SOFTWARE: FROM INDUSTRIAL APPLICATIONS TO RESEARCH (INVITED TALK)

被引：1
|
作者：
Aref, Molham [1 ]
机构：
[1] LogicBlox, Two Midtown Plaza,1349 West Peachtree St NW, Atlanta, GA 30309 USA
来源：
TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10) | 2010年 / 7卷
关键词：
D O I：
10.4230/LIPIcs.ICLP.2010.1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] Software Engineering Research Results in Industrial Practice: A Tale of Two Projects (Invited Talk)
    Emmerich, Wolfgang
    [J]. ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 3 - 3
  • [2] Action Research in Software Engineering: Metrics' Research Perspective (Invited Talk)
    Staron, Miroslaw
    [J]. THEORY AND PRACTICE OF COMPUTER SCIENCE, SOFSEM 2019, 2019, 11376 : 39 - 49
  • [3] Software Architecture - What Does It Mean in Industry? (Invited Industrial Talk)
    Wolff, Eberhard
    [J]. 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 999 - 999
  • [4] Some Challenges for Software Testing Research (Invited Talk Paper)
    Alshahwan, Nadia
    Ciancone, Andrea
    Harman, Mark
    Jia, Yue
    Mao, Ke
    Marginean, Alexandru
    Mols, Alexander
    Peleg, Hila
    Sarro, Federica
    Zorin, Ilya
    [J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 1 - 3
  • [5] The ideal of verified software (Invited talk)
    Hoare, Tony
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 5 - 16
  • [6] How Software Engineering Can Benefit from Traditional Industries - A Practical Experience Report (Invited Industrial Talk)
    Sprenger, Tom
    [J]. 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1000 - 1000
  • [7] Invited Talk: Fun with Software Developers and Biometrics
    Begel, Andrew
    [J]. 2016 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMOTION AWARENESS IN SOFTWARE ENGINEERING (SEMOTION), 2016, : 1 - 2
  • [8] Invited talk: Expanding software product families: From integration to composition
    Bosch, Jan
    [J]. ARCHITECTURE OF COMPUTING SYSTEMS - ARCS 2007, PROCEEDINGS, 2007, 4415 : 283 - 295
  • [9] Cellular automata: Applications - Invited talk
    Stauffer, D
    [J]. VECTOR AND PARALLEL PROCESSING - VECPAR 2000, 2001, 1981 : 199 - 206
  • [10] Cognitive and Contextual Enterprise Mobile Computing Invited Keynote Talk
    Zodik, Gabi
    [J]. PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 11 - 12
12345