An integrated development and runtime environment for the future internet

被引：0
|
作者：
机构：
[1] Ben Hamida, Amira
[2] Kon, Fabio
[3] Ansaldi Oliva, Gustavo
[4] Dos Santos, Carlos Eduardo Moreira
[5] Lorré, Jean-Pierre
[6] Autili, Marco
[7] De Angelis, Guglielmo
[8] Zarras, Apostolos
[9] Georgantas, Nikolaos
[10] Issarny, Valérie
[11] Bertolino, Antonia
来源：
Ben Hamida, A. | 1600年 / Springer Verlag卷 / 7281 LNCS期
关键词：
D O I：
10.1007/978-3-642-30241-1_8
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] TOWARDS AN INTEGRATED DEVELOPMENT ENVIRONMENT
    NEWMAN, PS
    IBM SYSTEMS JOURNAL, 1982, 21 (01) : 81 - 107
  • [22] The Dafny Integrated Development Environment
    Leino, K. Rustan M.
    Wuestholz, Valentin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (149): : 3 - 15
  • [23] Development and Future Trends of Internet of Things
    Liu, Wencheng
    Li, Fei
    Li, Yan
    CYBER SECURITY INTELLIGENCE AND ANALYTICS, 2020, 928 : 648 - 656
  • [24] THE FUTURE OF INTEGRATED PRODUCT DEVELOPMENT
    SEIFFERT, U
    F&M-FEINWERKTECHNIK & MESSTECHNIK, 1990, 98 (03): : CA6 - CA7
  • [25] Research on Integrated Marketing Communication in the Mobile Internet Environment
    Cao, Yu
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON ECONOMICS, SOCIAL SCIENCE, ARTS, EDUCATION AND MANAGEMENT ENGINEERING, 2015, 38 : 148 - 151
  • [26] Future development of transport and environment
    Rudneva, S. E.
    INTERNATIONAL SCIENTIFIC AND PRACTICAL CONFERENCE MODERN PROBLEMS OF ECOLOGY, TRANSPORT AND AGRICULTURAL TECHNOLOGIES, 2020, 941
  • [27] Generic and Distributed Runtime Environment for Model-driven Game Development
    Apel, Sebastian
    Schau, Volkmar
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 623 - 630
  • [28] Democratization of runtime verification for internet of things
    Incki, Koray
    Ari, Ismail
    COMPUTERS & ELECTRICAL ENGINEERING, 2018, 68 : 570 - 580
  • [29] SixTrack V and runtime environment
    De Maria, R.
    Andersson, J.
    Olsen, V. K. Berglyd
    Field, L.
    Giovannozzi, M.
    Hermes, P. D.
    Hoimyr, N.
    Kostoglou, S.
    Iadarola, G.
    Mcintosh, E.
    Mereghetti, A.
    Molson, J.
    Pellegrini, D.
    Persson, T.
    Schwinzerl, M.
    Maclean, E. H.
    Sjobak, K. N.
    Zacharov, I
    Singh, S.
    INTERNATIONAL JOURNAL OF MODERN PHYSICS A, 2019, 34 (36):
  • [30] A Runtime Environment for Contract Automata
    Basile, Davide
    ter Beek, Maurice H.
    FORMAL METHODS, FM 2023, 2023, 14000 : 550 - 567
12345