Search Results - software engineering/programming and operating system*

Refine Results
  1. 1

    Testing machine learning based systems: a systematic mapping by Riccio, Vincenzo, Jahangirova, Gunel, Stocco, Andrea, Humbatova, Nargiz, Weiss, Michael, Tonella, Paolo

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.11.2020
    “…Context: A Machine Learning based System (MLS) is a software system including one or more components that learn how to perform a task from a given data set…”
    Get full text
    Journal Article
  2. 2

    An empirical comparison of dependency network evolution in seven software packaging ecosystems by Decan, Alexandre, Mens, Tom, Grosjean, Philippe

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.02.2019
    “… The software packages distributed by such package managers form large software ecosystems. These packaging ecosystems contain a large number of package releases that are updated regularly and that have many dependencies to other package releases…”
    Get full text
    Journal Article
  3. 3

    AI-Based Modeling: Techniques, Applications and Research Issues Towards Automation, Intelligent and Smart Systems by Sarker, Iqbal H.

    ISSN: 2662-995X, 2661-8907, 2661-8907
    Published: Singapore Springer Singapore 01.03.2022
    Published in SN computer science (01.03.2022)
    “…), with the capability of incorporating human behavior and intelligence into machines or systems. Thus, AI-based modeling is the key…”
    Get full text
    Journal Article
  4. 4

    Test case selection and prioritization using machine learning: a systematic literature review by Pan, Rongqi, Bagherzadeh, Mojtaba, Ghaleb, Taher A., Briand, Lionel

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.03.2022
    “…Regression testing is an essential activity to assure that software code changes do not adversely affect existing functionalities…”
    Get full text
    Journal Article
  5. 5

    MCMAS: an open-source model checker for the verification of multi-agent systems by Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco

    ISSN: 1433-2779, 1433-2787
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2017
    “…We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent…”
    Get full text
    Journal Article
  6. 6

    Data cleaning and machine learning: a systematic literature review by Côté, Pierre-Olivier, Nikanjam, Amin, Ahmed, Nafisa, Humeniuk, Dmytro, Khomh, Foutse

    ISSN: 0928-8910, 1573-7535
    Published: New York Springer US 01.11.2024
    Published in Automated software engineering (01.11.2024)
    “…Machine Learning (ML) is integrated into a growing number of systems for various applications…”
    Get full text
    Journal Article
  7. 7

    Explainability in human–agent systems by Rosenfeld, Avi, Richardson, Ariella

    ISSN: 1387-2532, 1573-7454
    Published: New York Springer US 01.11.2019
    Published in Autonomous agents and multi-agent systems (01.11.2019)
    “…This paper presents a taxonomy of explainability in human–agent systems. We consider fundamental questions about the Why, Who, What, When…”
    Get full text
    Journal Article
  8. 8

    How to certify machine learning based safety-critical systems? A systematic literature review by Tambon, Florian, Laberge, Gabriel, An, Le, Nikanjam, Amin, Mindom, Paulina Stevia Nouwou, Pequignot, Yann, Khomh, Foutse, Antoniol, Giulio, Merlo, Ettore, Laviolette, François

    ISSN: 0928-8910, 1573-7535
    Published: New York Springer US 01.11.2022
    Published in Automated software engineering (01.11.2022)
    “… “How to Certify Machine Learning Based Safety-critical Systems?”. Method We conduct a Systematic Literature Review (SLR…”
    Get full text
    Journal Article
  9. 9

    Sampling in software engineering research: a critical review and guidelines by Baltes, Sebastian, Ralph, Paul

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.07.2022
    “…Representative sampling appears rare in empirical software engineering research. Not all studies need representative samples, but a general lack of representative sampling undermines a scientific field…”
    Get full text
    Journal Article
  10. 10

    Perceived diversity in software engineering: a systematic literature review by Rodríguez-Pérez, Gema, Nadri, Reza, Nagappan, Meiyappan

    ISSN: 1382-3256, 1573-7616, 1573-7616
    Published: New York Springer US 01.09.2021
    “… with. Perceived diversity in Software Engineering has been recognized as a high-value team property and companies are willing to increase their efforts to create more diverse work teams…”
    Get full text
    Journal Article
  11. 11

    A comprehensive study of bloated dependencies in the Maven ecosystem by Soto-Valero, César, Harrand, Nicolas, Monperrus, Martin, Baudry, Benoit

    ISSN: 1382-3256, 1573-7616, 1573-7616
    Published: New York Springer US 01.05.2021
    “…Build automation tools and package managers have a profound influence on software development…”
    Get full text
    Journal Article
  12. 12

    Development of Smart Healthcare Monitoring System in IoT Environment by Islam, Md. Milon, Rahaman, Ashikur, Islam, Md. Rashedul

    ISSN: 2662-995X, 2661-8907, 2661-8907
    Published: Singapore Springer Singapore 01.05.2020
    Published in SN computer science (01.05.2020)
    “…Healthcare monitoring system in hospitals and many other health centers has experienced significant growth, and portable healthcare monitoring systems with emerging technologies are becoming of great…”
    Get full text
    Journal Article
  13. 13

    Logic-based technologies for multi-agent systems: a systematic literature review by Calegari, Roberta, Ciatto, Giovanni, Mascardi, Viviana, Omicini, Andrea

    ISSN: 1387-2532, 1573-7454
    Published: New York Springer US 01.04.2021
    Published in Autonomous agents and multi-agent systems (01.04.2021)
    “…”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS…”
    Get full text
    Journal Article
  14. 14

    An artificial intelligence lightweight blockchain security model for security and privacy in IIoT systems by Selvarajan, Shitharth, Srivastava, Gautam, Khadidos, Alaa O., Khadidos, Adil O., Baza, Mohamed, Alshehri, Ali, Lin, Jerry Chun-Wei

    ISSN: 2192-113X, 2192-113X
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023
    “…, intelligent data, predictive analytics, and decision-making systems for improved market performance. However, traditional IIoT architectures are highly susceptible to many…”
    Get full text
    Journal Article
  15. 15

    Can Offline Testing of Deep Neural Networks Replace Their Online Testing?: A Case Study of Automated Driving Systems by Haq, Fitash Ul, Shin, Donghwan, Nejati, Shiva, Briand, Lionel

    ISSN: 1382-3256, 1573-7616, 1573-7616
    Published: New York Springer US 01.09.2021
    “…We distinguish two general modes of testing for Deep Neural Networks (DNNs): Offline testing where DNNs are tested as individual units based on test datasets…”
    Get full text
    Journal Article
  16. 16

    Intrusion detection systems for IoT-based smart environments: a survey by Elrawy, Mohamed Faisal, Awad, Ali Ismail, Hamed, Hesham F. A.

    ISSN: 2192-113X, 2192-113X
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2018
    “… The security vulnerabilities in IoT-based systems create security threats that affect smart environment applications…”
    Get full text
    Journal Article
  17. 17

    Thirteen years of SysML: a systematic mapping study by Wolny, Sabine, Mazak, Alexandra, Carpella, Christine, Geist, Verena, Wimmer, Manuel

    ISSN: 1619-1366, 1619-1374
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.01.2020
    Published in Software and systems modeling (01.01.2020)
    “… This standard is an extended subset of UML providing a graphical modeling language for designing complex systems by considering software as well as hardware parts…”
    Get full text
    Journal Article
  18. 18

    Understanding the challenges and novel architectural models of multi-cloud native applications – a systematic literature review by Alonso, Juncal, Orue-Echevarria, Leire, Casola, Valentina, Torre, Ana Isabel, Huarte, Maider, Osaba, Eneko, Lobo, Jesus L.

    ISSN: 2192-113X, 2192-113X
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023
    “…, deployed and operated over such heterogeneous ecosystems. The result is an effective…”
    Get full text
    Journal Article
  19. 19

    Industry practices and challenges for the evolvability assurance of microservices: An interview study and systematic grey literature review by Bogner, Justus, Fritzsch, Jonas, Wagner, Stefan, Zimmermann, Alfred

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.09.2021
    “…Context Microservices as a lightweight and decentralized architectural style with fine-grained services promise several beneficial characteristics for sustainable long-term software evolution…”
    Get full text
    Journal Article
  20. 20

    A practical guide to multi-objective reinforcement learning and planning by Hayes, Conor F., Rădulescu, Roxana, Bargiacchi, Eugenio, Källström, Johan, Macfarlane, Matthew, Reymond, Mathieu, Verstraeten, Timothy, Zintgraf, Luisa M., Dazeley, Richard, Heintz, Fredrik, Howley, Enda, Irissappane, Athirai A., Mannion, Patrick, Nowé, Ann, Ramos, Gabriel, Restelli, Marcello, Vamplew, Peter, Roijers, Diederik M.

    ISSN: 1387-2532, 1573-7454, 1573-7454
    Published: New York Springer US 01.04.2022
    Published in Autonomous agents and multi-agent systems (01.04.2022)
    “…Real-world sequential decision-making tasks are generally complex, requiring trade-offs between multiple, often conflicting, objectives. Despite this, the…”
    Get full text
    Journal Article