Towards a Unified View of Modeling and Programming (Track Summary)

被引：0
|
作者：
Broy, Manfred [1 ]
Havelund, Klaus [2 ]
Kumar, Rahul [3 ]
Steffen, Bernhard [4 ]
机构：
[1] Tech Univ Munich, Munich, Germany
[2] CALTECH, Jet Prop Lab, Pasadena, CA 91125 USA
[3] Microsoft Res, Redmond, WA USA
[4] TU Dortmund Univ, Dortmund, Germany
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II | 2016年 / 9953卷
关键词：
D O I：
10.1007/978-3-319-47169-3_1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：3 / 10
页数：8
相关论文
共 50 条
  • [1] Towards a Unified View of Modeling and Programming
    Broy, Manfred
    Havelund, Klaus
    Kumar, Rahul
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 238 - 257
  • [2] On a Unified View of Modeling and Programming Position Paper
    Seidewitz, Ed
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 27 - 31
  • [3] Towards a unified programming language
    Madsen, OL
    [J]. ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 2000, 1850 : 1 - 26
  • [4] TOWARDS A UNIFIED VIEW OF METAHEURISTICS
    Talbi, El-Ghazali
    [J]. CROATIAN OPERATIONAL RESEARCH REVIEW, 2013, 4 (01) : 31 - 32
  • [5] Towards a unified view of fluids
    Nezbeda, I
    [J]. MOLECULAR PHYSICS, 2005, 103 (01) : 59 - 76
  • [6] A Unified Approach to Modeling and Programming
    Madsen, Ole Lehrmann
    Moller-Pedersen, Birger
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, 2010, 6394 : 1 - +
  • [7] Summary of Track 6: Modeling and Simulation
    Wang, Limin
    [J]. NEW PARADIGM OF PARTICLE SCIENCE AND TECHNOLOGY, PROCEEDINGS OF THE 7TH WORLD CONGRESS ON PARTICLE TECHNOLOGY, 2015, 102 : 1271 - 1273
  • [8] Adaptive memory programming:: A unified view of metaheuristics
    Taillard, ÉD
    Gambardella, LM
    Gendreau, M
    Potvin, JY
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2001, 135 (01) : 1 - 16
  • [9] Towards a unified view of mutualism.
    Bronstein, JL
    [J]. AMERICAN ZOOLOGIST, 1999, 39 (05): : 48A - 48A
  • [10] TOWARDS A UNIFIED THEORY OF INTENSIONAL LOGIC PROGRAMMING
    ORGUN, MA
    WADGE, WW
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (04): : 413 - 440
12345