-
1دورية أكاديمية
المؤلفون: Lina Garcés, Flavio Oquendo, Elisa Yumi Nakagawa
المصدر: Journal of the Brazilian Computer Society, Vol 25, Iss 1, Pp 1-23 (2019)
مصطلحات موضوعية: Software architecture, Systems-of-systems, Mediator, Connector, Crisis and emergency systems, Health-care supportive home systems, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المصدر: IEEE Access, Vol 7, Pp 171752-171764 (2019)
مصطلحات موضوعية: Architecture description, formal verification, property specification, software architectures, systematic mapping, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Valdemar Vicente Graciano Neto, Carlos Eduardo Barros Paes, Lina Garcés, Milena Guessi, Wallace Manzano, Flavio Oquendo, Elisa Yumi Nakagawa
المصدر: Journal of the Brazilian Computer Society, Vol 23, Iss 1, Pp 1-22 (2017)
مصطلحات موضوعية: Simulation, Software architecture, Systems-of-systems, Automatic generation, Model transformation, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Lina Garcés, Flavio Oquendo, Elisa Yumi Nakagawa
المصدر: IGI Global, International Journal of E-Health and Medical Communications (IJEHMC). 11(1):17-36
-
5
المؤلفون: Flavio Oquendo
المساهمون: Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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 Bretagne Sud (UBS), Advanced Technologies for Operated Networks (ARCHWARE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
المصدر: 2021 16th International Conference of System of Systems Engineering (SoSE)
2021 16th International Conference of System of Systems Engineering (SoSE), Jun 2021, Västerås, Sweden. pp.61-68, ⟨10.1109/SOSE52739.2021.9497482⟩
SOSEمصطلحات موضوعية: Vehicle platooning, Group (mathematics), Computer science, Cyber-physical system, Control engineering, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Uncertainty quantification, Controlled experiment, Intelligent transportation system, Fuzzy logic, Software architecture description, ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::829e73ea84a24be957c3a127acf41d3b
https://hal.science/hal-03585047 -
6دورية أكاديميةArchitecting exogenous software‐intensive systems‐of‐systems on the internet‐of‐vehicles with SosADL
المؤلفون: Flavio Oquendo
المصدر: John Wiley & Sons, Systems Engineering. 22(6):502-518
-
7
المصدر: Computational Science and Its Applications – ICCSA 2021 ISBN: 9783030869694
ICCSA (3)مصطلحات موضوعية: Architecture description language, Correctness, Computer science, business.industry, Formal semantics (linguistics), Model transformation, Unified Modeling Language, Systems Modeling Language, Software architecture, Software engineering, business, Formal verification, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f3adc46dbce074d9995239273af3bee4
https://doi.org/10.1007/978-3-030-86970-0_28 -
8
المساهمون: SEGULA Engineering, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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 Bretagne Sud (UBS), Advanced Technologies for Operated Networks (ARCHWARE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
المصدر: 2020 IEEE Conference on Control Technology and Applications (CCTA)
2020 IEEE Conference on Control Technology and Applications (CCTA), Aug 2020, Montreal, Canada. pp.892-897, ⟨10.1109/CCTA41146.2020.9206344⟩
CCTAمصطلحات موضوعية: Model checking, Computation tree logic, Computer science, Programming language, Programmable logic controller, Ladder logic, Vulnerability, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Race condition, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Control system, [INFO]Computer Science [cs], Formal verification, computer, ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a65a306d8e9d0059cb86a5c09a8293bb
https://hal.science/hal-03585041 -
9
المؤلفون: Flavio Oquendo
المساهمون: Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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 Bretagne Sud (UBS), Advanced Technologies for Operated Networks (ARCHWARE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
المصدر: 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE)
2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), Jun 2020, Budapest, Hungary. pp.555-562, ⟨10.1109/SoSE50414.2020.9130553⟩
SoSEمصطلحات موضوعية: System of systems, Architecture description language, Computer science, business.industry, Representation (systemics), 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Fuzzy logic, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], Uncertainty quantification, Architecture, Software engineering, business, Intelligent transportation system, Software architecture description, ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52e9aa00a384929f7f83e3e444936396
https://hal.science/hal-03585030 -
10
المؤلفون: Everton Cavalcante, Jair Leite, Flavio Oquendo, Thais Batista, Eduardo Silva, Lidiane Santos
المساهمون: Universidade Federal do Rio Grande do Norte [Natal] (UFRN), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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 Bretagne Sud (UBS), Advanced Technologies for Operated Networks (ARCHWARE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
المصدر: 2020 IEEE 6th World Forum on Internet of Things (WF-IoT)
2020 IEEE 6th World Forum on Internet of Things (WF-IoT), Jun 2020, New Orleans, United States. pp.1-6, ⟨10.1109/WF-IoT48130.2020.9221497⟩
WF-IoTمصطلحات موضوعية: business.industry, Computer science, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Notation, Systems Modeling Language, 020204 information systems, Abstract syntax, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Architecture, Software architecture, Internet of Things, business, Software engineering, ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d576c497a73a64ed2c7d5df9585eb68c
https://hal.science/hal-03585028