Zobrazeno 1 - 10
of 8 987
pro vyhledávání: '"[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]"'
Publikováno v:
Future Generation Computer Systems
Future Generation Computer Systems, 2023, 138, pp.104-119. ⟨10.1016/j.future.2022.08.010⟩
Future Generation Computer Systems, 2023, 138, pp.104-119. ⟨10.1016/j.future.2022.08.010⟩
International audience; Fog Computing is a new paradigm aiming at decentralizing the Cloud by geographically distributing away computation, storage and network resources as well as related services. In order to design, develop, deploy, maintain and e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb5cf9f18284bff336f7a84164d7ac02
https://doi.org/10.1016/j.future.2022.08.010
https://doi.org/10.1016/j.future.2022.08.010
Autor:
Bliudze, Simon, Bos, Petra van den, Huisman, Marieke, Rubbens, Robert, Safina, Larisa, Lambers, Leen, Uchitel, Sebastián
Publikováno v:
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, 143-150
STARTPAGE=143;ENDPAGE=150;TITLE=Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Fundamental Approaches to Software Engineering ISBN: 9783031308253
STARTPAGE=143;ENDPAGE=150;TITLE=Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering
FASE 2023-26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.143-150, ⟨10.1007/978-3-031-30826-0_8⟩
Fundamental Approaches to Software Engineering ISBN: 9783031308253
We present “Verified JavaBIP”, a tool set for the verification of JavaBIP models. A JavaBIP model is a Java program where classes are considered as components, their behaviour described by finite state machine and synchronization annotations. Whi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89ea947ae1a56c94d4fd152339dbfc0d
http://hdl.handle.net/20.500.12210/80010
http://hdl.handle.net/20.500.12210/80010
Publikováno v:
SAC 2023-The 38th ACM/SIGAPP Symposium on Applied Computing
SAC 2023-The 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1-10
SAC 2023-The 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1-10
Numerous software systems are highly configurable through run-time options, such as command-line parameters. Users can tune some of the options to meet various functional and non-functional requirements such as footprint, security, or execution time.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5b5b58292afcf3a1546b8030e70bf41
https://hal.science/hal-03916459/file/SAC2023-forHAL.pdf
https://hal.science/hal-03916459/file/SAC2023-forHAL.pdf
Publikováno v:
IEEE Internet of Things Journal
IEEE Internet of Things Journal, 2022, 9 (20), pp.19757-19772. ⟨10.1109/JIOT.2022.3170500⟩
IEEE Internet of Things Journal, 2022, 9 (20), pp.19757-19772. ⟨10.1109/JIOT.2022.3170500⟩
International audience; The Internet of Things (IoT) aims for connecting Anything, Anywhere, Anytime (AAA). This assumption brings about several software engineering challenges that constitute a serious obstacle to its wider adoption. The main featur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6096e66f6722b8cc5a2cdb0fa93668cb
https://doi.org/10.1109/jiot.2022.3170500
https://doi.org/10.1109/jiot.2022.3170500
Publikováno v:
IEEE Software
IEEE Software, 2022, pp.2-7. ⟨10.1109/MS.2022.3179773⟩
IEEE Software, 2022, pp.2-7. ⟨10.1109/MS.2022.3179773⟩
Bots are becoming a popular method for automating basic everyday tasks in many software projects. This is true in particular because of the availability of many off-the-shelf task-specific bots that teams can quickly adopt (which are sometimes comple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f2ec268a3f683004336e7f2f81b5787d
https://doi.org/10.1109/ms.2022.3179773
https://doi.org/10.1109/ms.2022.3179773
Publikováno v:
31st International Conference on Information Systems Development (ISD 2023)
31st International Conference on Information Systems Development (ISD 2023), Aug 2023, Lisbon, Portugal
31st International Conference on Information Systems Development (ISD 2023), Aug 2023, Lisbon, Portugal
International audience; In terms of competitiveness, Business-IT Alignment (BITA) is still a crucial challenge for business leaders and CIOs, especially in the context of Digital Transformation and time-to-market challenges. Core Operational BITA can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::6808e59ca03c085ed3ea372182194157
https://hal.science/hal-04140806/document
https://hal.science/hal-04140806/document
Autor:
Acher, Mathieu, Martinez, Jabier
Publikováno v:
SPLC 2023-27th ACM International Systems and Software Product Lines Conference
SPLC 2023-27th ACM International Systems and Software Product Lines Conference, Aug 2023, Tokyo, Japan. pp.1-9, ⟨10.1145/3579028.3609016⟩
27th ACM International Systems and Software Product Lines Conference (SPLC), VariVolution workshop
27th ACM International Systems and Software Product Lines Conference (SPLC), VariVolution workshop, Aug 2023, Tokyo, Japan. ⟨10.1145/3579028.3609016⟩
SPLC 2023-27th ACM International Systems and Software Product Lines Conference, Aug 2023, Tokyo, Japan. pp.1-9, ⟨10.1145/3579028.3609016⟩
27th ACM International Systems and Software Product Lines Conference (SPLC), VariVolution workshop
27th ACM International Systems and Software Product Lines Conference (SPLC), VariVolution workshop, Aug 2023, Tokyo, Japan. ⟨10.1145/3579028.3609016⟩
International audience; The migration and reengineering of existing variants into a software product line (SPL) is an error-prone and time-consuming activity. Many extractive approaches have been proposed, spanning different activities from feature i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dbb8457622c3c291b51a131410397122
https://inria.hal.science/hal-04160693
https://inria.hal.science/hal-04160693
Publikováno v:
SPLC 2023-27th ACM International Systems and Software Product Lines Conference
SPLC 2023-27th ACM International Systems and Software Product Lines Conference, ACM, Aug 2023, Tokyo, Japan. pp.1-7, ⟨10.1145/nnnnnnn.nnnnnnn⟩
27th ACM International Systems and Software Product Lines Conference
27th ACM International Systems and Software Product Lines Conference, ACM, Aug 2023, Tokyo, Japan. ⟨10.1145/nnnnnnn.nnnnnnn⟩
SPLC 2023-27th ACM International Systems and Software Product Lines Conference, ACM, Aug 2023, Tokyo, Japan. pp.1-7, ⟨10.1145/nnnnnnn.nnnnnnn⟩
27th ACM International Systems and Software Product Lines Conference
27th ACM International Systems and Software Product Lines Conference, ACM, Aug 2023, Tokyo, Japan. ⟨10.1145/nnnnnnn.nnnnnnn⟩
International audience; Programming variability is central to the design and implementation of software systems that can adapt to a variety of contexts and requirements, providing increased flexibility and customization. Managing the complexity that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::775263549670b16c7f7f0cdc1714f108
https://inria.hal.science/hal-04153310/file/ProgrammingVariabilityGPT-SPLC23.pdf
https://inria.hal.science/hal-04153310/file/ProgrammingVariabilityGPT-SPLC23.pdf
Autor:
de Almeida Borges, Ana, Artís, Annalí, Falleri, Jean-Rémy, Gallego Arias, Emilio Jesús, Martin-Dorel, Érik, Palmskog, Karl, Serebrenik, Alexander, Zimmermann, Théo
Publikováno v:
Leibniz International Proceedings in Informatics
14th International Conference on Interactive Theorem Proving (ITP 2023)
14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18
14th International Conference on Interactive Theorem Proving (ITP 2023)
14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18
International audience; The Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::7855b72a3a6fa4e66fa68bfa39d60312
https://telecom-paris.hal.science/hal-04098856/document
https://telecom-paris.hal.science/hal-04098856/document
Publikováno v:
DEBT 2023-First Workshop on Future Debugging Techniques
DEBT 2023-First Workshop on Future Debugging Techniques, Jul 2023, Seattle, United States
DEBT 2023-First Workshop on Future Debugging Techniques, Jul 2023, Seattle, United States
International audience; The video game industry is a vast and lucrative sector that generates significant revenue. However, a recurring issue within this industry is the release of games with numerous bugs. The process of debugging, a challenging and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::75515fb77a22962e342199267fe2f5dd
https://inria.hal.science/hal-04139070/document
https://inria.hal.science/hal-04139070/document