-
1
-
2
المؤلفون: Jarod Sue, Sébastien Salva, Laurent Provot
المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Université Clermont Auvergne (UCA), Institut Universitaire de Technologie - Clermont-Ferrand (IUT Clermont-Ferrand), Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)
المصدر: 13th International Conference on Knowledge Discovery and Information Retrieval
13th International Conference on Knowledge Discovery and Information Retrieval, Oct 2021, Online Streaming, France. pp.155-163, ⟨10.5220/0010652300003064⟩
KDIRمصطلحات موضوعية: Computer science, business.industry, media_common.quotation_subject, Event (relativity), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Conversation, Artificial intelligence, business, computer, Natural language processing, ComputingMilieux_MISCELLANEOUS, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a152e278ce61f742fcf8b85c91eb39b8
https://hal.uca.fr/hal-03444528 -
3
المؤلفون: Sébastien Salva, Elliott Blot
المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)
المصدر: Communications in Computer and Information Science, vol. 1447, Software Technologies-15th International Conference, {ICSOFT} 2020, Online Event, July 7-9, 2020, Revised Selected Papers
Communications in Computer and Information Science, vol. 1447, Software Technologies-15th International Conference, {ICSOFT} 2020, Online Event, July 7-9, 2020, Revised Selected Papers, 1447, Springer, pp.70-97, 2021, Software Technologies, 978-3-030-83007-6/978-3-030-83006-9. ⟨10.1007/978-3-030-83007-6_4⟩
Communications in Computer and Information Science, vol. 1447, Software Technologies-15th International Conference, 2020, Online Event, July 7-9, 2020, Revised Selected Papers, 1447, Springer, pp.70-97, 2021, Software Technologies, 978-3-030-83007-6/978-3-030-83006-9. ⟨10.1007/978-3-030-83007-6_4⟩
Communications in Computer and Information Science ISBN: 9783030830069
ICSOFT (Selected Papers)مصطلحات موضوعية: Model checking, Computer science, media_common.quotation_subject, 02 engineering and technology, Audit, Model learning, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, ENCODE, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Originality, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Rule of inference, Expert system, media_common, business.industry, Event (computing), 020206 networking & telecommunications, 020207 software engineering, IoT software systems, The Internet, business, Software engineering, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6097871e82ec21e9a33959001ec578f
https://hal.uca.fr/hal-03338612 -
4دورية أكاديمية
المؤلفون: Valentin Landemaine, Olivier Cerdan, Thomas Grangeon, Rosalie Vandromme, Benoit Laignel, Olivier Evrard, Sébastien Salvador-Blanes, J. Patrick Laceby
المصدر: International Soil and Water Conservation Research, Vol 11, Iss 4, Pp 688-699 (2023)
مصطلحات موضوعية: European loess belt, Soil erosion, Saturation-excess runoff, WaterSed model, Engineering (General). Civil engineering (General), TA1-2040
وصف الملف: electronic resource
-
5
المؤلفون: Loukmen Regainia, Sébastien Salva
المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)
المصدر: Software Quality Journal
Software Quality Journal, In press, ⟨10.1007/s11219-018-9438-2⟩
Software Quality Journal, Springer Verlag, In press, ⟨10.1007/s11219-018-9438-2⟩مصطلحات موضوعية: Attack Defense Trees, 021110 strategic, defence & security studies, business.industry, Computer science, 0211 other engineering and technologies, 020207 software engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Software development process, Software, Test case, Security pattern, Knowledge base, Threat model, Security, 0202 electrical engineering, electronic engineering, information engineering, Test casegeneration, Web application, Concrete security, Safety, Risk, Reliability and Quality, Software engineering, business, Security patterns
-
6
المؤلفون: Elliott Blot, Sébastien Salva
المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)
المصدر: Testing Software and Systems-32nd IFIP WG 6.1 InternationalConference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
Testing Software and Systems-32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Testing Software and Systems ISBN: 9783030648800
ICTSSمصطلحات موضوعية: Object-oriented programming, Speedup, Computer science, Event (computing), business.industry, Communicating Systems, media_common.quotation_subject, Mock, Code coverage, 020207 software engineering, Usability, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Quality Metrics, Model Learning, Metric (mathematics), Model learning, 0202 electrical engineering, electronic engineering, information engineering, Quality (business), Software engineering, business, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0e6e34275870023e8204d520df897bf
https://hal.uca.fr/hal-03048336 -
7
المؤلفون: Elliott Blot, Sébastien Salva
المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])
المصدر: 15th International Conference on Software Technologies
15th International Conference on Software Technologies, Jul 2020, Lieusaint-Paris, France. pp.350-360, ⟨10.5220/0009872103500360⟩
ICSOFTمصطلحات موضوعية: Model checking, Computer science, Event (computing), business.industry, Audit, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, IoT software systems, Expert system, Model Checking, Model Learning, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Component (UML), Software system, Expert System, Rule of inference, Software engineering, business, computer, Abstraction (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::573a5f6fbf625003f6d5c17813876c77
https://hal.uca.fr/hal-03048356 -
8
المؤلفون: Elliott Blot, Sébastien Salva
المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)
المصدر: 15th International Conference on Evaluation of Novel Approaches to Software Engineering
15th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2020, Prague, France. pp.27-38, ⟨10.5220/0009327400270038⟩
ENASEمصطلحات موضوعية: Input/output, Dependency (UML), Computer science, Event (computing), 020207 software engineering, Dependency graphs, 02 engineering and technology, Model learning, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], IOLTS, computer.software_genre, Human–computer interaction, 020204 information systems, Component (UML), Transition system, 0202 electrical engineering, electronic engineering, information engineering, Systems architecture, Web service, Reverse engineering, computer, Communicating systems, Abstraction (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cbf88f273927714bb4aa517df3609c7
https://hal.uca.fr/hal-02884776/document -
9
المؤلفون: Elliott Blot, Sébastien Salva
المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)
المصدر: Software Quality Journal
Software Quality Journal, Springer Verlag, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩
Software Quality Journal, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩مصطلحات موضوعية: Reverse engineering, Theoretical computer science, Exploit, Computer science, Formal models, Component-based Systems, Inference, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, computer.software_genre, Whole systems, Model Learning, 020204 information systems, Reverse Engineering, Model learning, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Cluster analysis, Merge (version control), computer, Software
-
10
المؤلفون: William Durand, Sébastien Salva
المصدر: International Journal of Information System Modeling and Design. 8:43-72
مصطلحات موضوعية: business.industry, Computer science, 020207 software engineering, Context (language use), 02 engineering and technology, computer.software_genre, Automation, Expert system, Task (project management), Test (assessment), Software development process, Management of Technology and Innovation, 0202 electrical engineering, electronic engineering, information engineering, Production (economics), 020201 artificial intelligence & image processing, Passive testing, Software engineering, business, computer, Information Systems