المؤلفون: Valerio Cosentino, Massimo Tisi, Fabian Büttner

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 32-36 (2013)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1312.0343v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/14cd3b11ccce453fba1fad1b954f36ca

المؤلفون: Jolan Philippe, Helene Coullon, Massimo Tisi, Gerson Suny´e

مصطلحات موضوعية: Multi-strategy, Low-code development, Model-Driven Engineering, OCL, Spark

Relation: https://zenodo.org/communities/eu; https://doi.org/10.1145/3417990.3420206; oai:zenodo.org:4314600

الاتاحة: https://doi.org/10.1145/3417990.3420206

المؤلفون: Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Massimo Tisi

المساهمون: Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (SnT), Université du Luxembourg (Uni.lu), Université du Québec à Rimouski (UQAR), Institut Universitaire de Technologie - Nantes (Nantes Univ - IUT Nantes), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ)

المصدر: IEEE Internet of Things Journal
IEEE Internet of Things Journal, 2022, 9 (20), pp.19757-19772. ⟨10.1109/JIOT.2022.3170500⟩

مصطلحات موضوعية: Policy Enforcement, Model Transformation, Computer Networks and Communications, Internet of Things, Software Engineering, Model-Driven Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Code Generation, Computer Science Applications, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Hardware and Architecture, Signal Processing, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6096e66f6722b8cc5a2cdb0fa93668cb
https://doi.org/10.1109/jiot.2022.3170500

المؤلفون: MohammadHadi Dehghani, Shekoufeh Kolahdouz-Rahimi, Massimo Tisi, Dalila Tamzalit

المساهمون: Isfahan University of Technology, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), University of Isfahan

المصدر: Software and Systems Modeling
Software and Systems Modeling, 2022, 21 (3), pp.1115-1133. ⟨10.1007/s10270-022-00977-3⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Modeling and Simulation, Reinforcement learning, Model-driven reverse engineering, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Microservice architecture, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Migration, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a27b84c970ad9eceab260ebdb8382820
https://doi.org/10.1007/s10270-022-00977-3

المؤلفون: Davide Di Ruscio, Dimitris Kolovos, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, Manuel Wimmer

المساهمون: University of L'Aquila [Italy] (UNIVAQ), University of York [York, UK], Universidad Autónoma de Madrid (UAM), Department of Information Engineering, Computer Science and Mathematics = Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica [L'Aquila] (DISIM), Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Johannes Kepler University Linz [Linz] (JKU)

المصدر: Software and Systems Modeling
Software and Systems Modeling, 2022, 21 (2), pp.437-446. ⟨10.1007/s10270-021-00970-2⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Modeling and Simulation, Low-code development, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Model-driven engineering, No-code development, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::212ac51d3ccc2d620de4b31cef9a4f4b
https://doi.org/10.1007/s10270-021-00970-2

المؤلفون: Georg Hinkel, Antonio Garcia-Dominguez, René Schöne, Artur Boronat, Massimo Tisi, Théo Le Calvar, Frederic Jouault, József Marton, Tamás Nyíri, János Benjamin Antal, Márton Elekes, Gábor Szárnyas

المساهمون: Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands, Aston University [Birmingham], Technische Universität Dresden = Dresden University of Technology (TU Dresden), School of Informatics, [Leicester], University of Leicester, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département d'Informatique et de Recherche Opérationnelle [Montreal] (DIRO), Université de Montréal (UdeM), ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO), Department of Telecommunications and Media Informatics (BME-TMIT), Budapest University of Technology and Economics [Budapest] (BME), Department of Measurement and Information Systems, Centrum voor Wiskunde en Informatica (CWI), Centrum Wiskunde & Informatica (CWI)-Netherlands Organisation for Scientific Research

المصدر: Software and System Modelling, 21, 755-804
Software and Systems Modeling
Software and Systems Modeling, 2022, 21 (April), pp.755-804. ⟨10.1007/s10270-021-00927-5⟩

مصطلحات موضوعية: Graph databases, Incremental queries, Incremental computing, 020207 software engineering, 02 engineering and technology, Graph analytics, Graph queries, 020204 information systems, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Model-driven engineering, Performance benchmark, Relational databases, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51c8cc1bf745ba379f96677a06f5702d
https://doi.org/10.1007/s10270-021-00927-5

المؤلفون: Massimo Tisi, Jean-Marie Mottu, Dimitrios Kolovos, Juan de Lara, Esther Guerra, Davide Di Ruscio, Alfonso Pierantonio, Manuel Wimmer

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.4314655; https://doi.org/10.5281/zenodo.4314656; oai:zenodo.org:4314656

الاتاحة: https://doi.org/10.5281/zenodo.4314656

المؤلفون: Massimo Tisi, Matthias Tichy, Leen Lambers, Antonio Bucchiarone, Alfonso Pierantonio, Federico Ciccozzi, Andreas Wortmann, Vadim Zaytsev

المساهمون: Formal Methods and Tools, Fondazione Bruno Kessler [Trento, Italy] (FBK), Mälardalen University (MDH), University of Potsdam = Universität Potsdam, Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), Universität Ulm - Ulm University [Ulm, Allemagne], Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH), University of Twente

المصدر: IEEE software, 38(2):9354405, 119-127. IEEE Computer Society
IEEE Software
IEEE Software, 2021, 38 (2), pp.119-127. ⟨10.1109/MS.2020.3041522⟩

مصطلحات موضوعية: Research Roadmap, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Modeling language, business.industry, Computer science, 020207 software engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Software Modelling, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), Success Stories, Model-driven architecture, Software engineering, business, computer, Software, computer.programming_language

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9111dd82ca90ce5c9d20accfc8fd838d
https://doi.org/10.1109/ms.2020.3041522

المؤلفون: Davide Di Ruscio, Esther Guerra, Massimo Tisi

المصدر: Software and Systems Modeling. 21:1957-1958

مصطلحات موضوعية: Modeling and Simulation, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::53db6f4edad59afb9dec57f05aa9b3ee
https://doi.org/10.1007/s10270-022-01045-6

المؤلفون: Zheng Cheng, Massimo Tisi

المساهمون: Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)

المصدر: Software & Systems Modeling
Software & Systems Modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩

مصطلحات موضوعية: Programming Language Implementation, MDE, Certification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Model Transformation, Modeling and Simulation, Theorem Proving, Coq, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::458c0ab752fbe5f848d4990f87449d93
https://inria.hal.science/hal-03656144

المؤلفون: Dimitris Kolovos, Davide Di Ruscio, Nicholas Matragkas, Juan De Lara, Istvan Rath, Massimo Tisi (eds, Massimo Tisi

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ceur-ws.org/Vol-1206/BigMDE2014.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.664.6825; http://ceur-ws.org/Vol-1206/BigMDE2014.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.664.6825
http://ceur-ws.org/Vol-1206/BigMDE2014.pdf

المؤلفون: Juan de Lara, Hugo Bruneliere, Dimitris Kolovos, Davide Di Ruscio, Massimo Tisi

المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Universidad Autonoma de Madrid (UAM), University of L'Aquila [Italy] (UNIVAQ), University of York [York, UK]

المصدر: IFIP Conference on Advances in Production Management Systems (APMS 2021)
IFIP Conference on Advances in Production Management Systems (APMS 2021), Sep 2021, Nantes (en ligne), France. pp.1-9, ⟨10.1007/978-3-030-85874-2_37⟩
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems ISBN: 9783030858735
APMS (1)

مصطلحات موضوعية: System of systems, Cyber-physical systems, Research directions, State-of-the-Art, Systems of systems, Twin-driven engineering, Cyber-Physical Systems, Computer science, Physical system, Cyber-physical system, Complex system, Virtual representation, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Open research, Upgrade, Research Directions, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, DevOps, Twin-Driven Engineering, Systems of Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07bbd01412910e91a395c3165d22e5cd
https://hal.archives-ouvertes.fr/hal-03288132/file/TDE_APMS2021_AuthorsVersion.pdf

المؤلفون: Davide Di Ruscio, Dimitris Kolovos, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, Manuel Wimmer

المصدر: Software and Systems Modeling. 21:1687-1687

مصطلحات موضوعية: Modeling and Simulation, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::33ea77fcf0f0107ee02591923a491d40
https://doi.org/10.1007/s10270-022-01038-5

المؤلفون: Davide Di Ruscio, Dimitris Kolovos, Juan De Lara, Massimo Tisi, Manuel Wimmer

مصطلحات موضوعية: Low-code, No-code, Model-Driven Engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48c9fbd5e872e2a5a6b9a433b07660af
https://hdl.handle.net/11697/209739

المؤلفون: Hélène Coullon, Gerson Sunyé, Jolan Philippe, Massimo Tisi

المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Software Stack for Massively Geo-Distributed Infrastructures (STACK), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), IMT Atlantique (IMT Atlantique), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Software Stack for Massively Geo-Distributed Infrastructures (LS2N - équipe STACK), European Project: 813884,H2020-EU.1.3.1.,H2020-MSCA-ITN-2018,Lowcomote(2019)

المصدر: SLE 2021: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering
SLE 2021: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering, 2021, Chicago IL, United States. ⟨10.1145/3486608.3486901⟩
SLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering
SLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago IL, United States. pp.36-48, ⟨10.1145/3486608.3486901⟩
SLE

مصطلحات موضوعية: Speedup, Computer science, Programming language, Model transformation, Proof assistant, 020207 software engineering, 02 engineering and technology, computer.file_format, computer.software_genre, Transformation (function), 020204 information systems, Spark (mathematics), 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Executable, Model-driven architecture, computer, Equivalence (measure theory), computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9d016ba7bc1a6623da89b97667c9396
https://hal.archives-ouvertes.fr/hal-03343942/document

المؤلفون: Massimo Tisi, Salvador Martínez, Hassene Choura

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.archives-ouvertes.fr/docs/00/86/92/69/PDF/ParallelATL.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.3639; http://hal.archives-ouvertes.fr/docs/00/86/92/69/PDF/ParallelATL.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.3639
http://hal.archives-ouvertes.fr/docs/00/86/92/69/PDF/ParallelATL.pdf

المؤلفون: Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé

المساهمون: Institut Catholique d'Arts et Métiers (ICAM), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN), This research work is partially funded by the MEASURE project.

المصدر: SLE 2020-Software Language Engineering
SLE 2020-Software Language Engineering, Nov 2020, Chicago, Illinois / Virtual, United States. pp.22-38, ⟨10.1145/3426425.3426930⟩
SLE

مصطلحات موضوعية: Cyber-Physical Systems, Computer science, Process (engineering), Modeling language, business.industry, Distributed computing, Cyber-physical system, 020207 software engineering, 02 engineering and technology, Energy consumption, Artifact (software development), computer.file_format, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Software, 020204 information systems, Component (UML), XDSL, Energy Estimation, 0202 electrical engineering, electronic engineering, information engineering, Executable, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::752b39d6ac8526e2463a782e62ce9962
https://hal.inria.fr/hal-03001493/document

المؤلفون: Joachim Hotonnier, Massimo Tisi, Zheng Cheng

المساهمون: Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (NaoMod), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Montreal, Canada. ⟨10.1145/3365438.3410949⟩
MoDELS

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Programming language, Computer science, Model transformation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, Rule-based system, 0102 computer and information sciences, 02 engineering and technology, computer.file_format, computer.software_genre, Mathematical proof, 01 natural sciences, Programming language implementation, Automated theorem proving, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), [INFO]Computer Science [cs], Executable, Performance improvement, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e20e4863f6bb4d09a6cdd5b2319c44ad
https://inria.hal.science/hal-02907622/document

المؤلفون: Massimo Tisi, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Imad Berrouyne

المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Université du Québec à Rimouski (UQAR), Institut Universitaire de Technologie - Nantes (IUT Nantes), Université de Nantes (UN), Université du Québec à Chicoutimi (UQAC)

المصدر: Advanced Information Networking and Applications
Advanced Information Networking and Applications, Apr 2020, Nantes, France. pp.1162-1175, ⟨10.1007/978-3-030-44041-1_100⟩
Advanced Information Networking and Applications ISBN: 9783030440404
AINA

مصطلحات موضوعية: business.industry, Process (engineering), Computer science, Interoperability, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, Interoperability Problem, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Transformation (function), 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Software engineering, business, Internet of Things

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::202240f94e7585a7104264c3700f03b1
https://hal.archives-ouvertes.fr/hal-02943297

المؤلفون: Sagar Sen, Jean-marie Mottu, Massimo Tisi, Jordi Cabot

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal-mines-nantes.archives-ouvertes.fr/docs/00/69/21/75/PDF/icmt2012partialModel.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.635.3220; http://hal-mines-nantes.archives-ouvertes.fr/docs/00/69/21/75/PDF/icmt2012partialModel.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.635.3220
http://hal-mines-nantes.archives-ouvertes.fr/docs/00/69/21/75/PDF/icmt2012partialModel.pdf