Resultados da busca - "software engineering"

  1. 161

    Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2021
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  2. 162

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

    Publicado em 2022
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  3. 163

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

    Publicado em 2022
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  4. 164

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

    Publicado em 2023
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  5. 165

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

    Publicado em 2023
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  6. 166

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

    Publicado em 2023
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  7. 167

    GUI Design for Android Apps por Cohen, Ryan, Wang, Tao

    Publicado em 2014
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  8. 168

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

    Publicado em 2021
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  9. 169

    Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

    Publicado em 2023
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  10. 170

    Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

    Publicado em 2024
    Sumário: “…Evolving Division of Responsibilities in a B2B Platform -- Understanding User Feedback in Software Ecosystems: A Study on Challenges and Mitigation Strategies -- A Survey on Perceptions of Data Sharing in the Norwegian Public Sector -- What are the barriers that women face in proprietary software ecosystem -- Artificial Intelligence -- Business and ethical concerns in domestic Conversational Generative AI-empowered multi-robot systems -- Prompt Patterns for Agile Software Project Managers: First results -- Startup creation beyond hackathons - A survey on startup development and support -- How to start collaborations between SMEs and researchers in software engineering -- Towards a Business Case for AI Ethics -- What is the Cost of AI Ethics? …”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  11. 171

    Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy /

    Publicado em 2016
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  12. 172

    Managed Software Evolution

    Publicado em 2019
    Assuntos: “…Software Engineering bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Eletrônico Capítulo de Livro
  13. 173

    Managed Software Evolution

    Publicado em 2019
    Assuntos: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Eletrônico Capítulo de Livro
  14. 174

    Deriving Goal-oriented Performance Models by Systematic Experimentation por Westermann, Dennis

    Publicado em 2014
    Assuntos: “…Performance Software Engineering ModellierungPerformance Engineering Software Modeling…”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Eletrônico Capítulo de Livro
  15. 175

    Interfaces on Trial 2.0 por Band, Jonathan

    Publicado em 2011
    Assuntos: “…Software Engineering bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Recurso Eletrônico Capítulo de Livro
  16. 176

    Deployment and Operation of Complex Software in Heterogeneous Execution Environments The SODALITE Approach /

    Publicado em 2022
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  17. 177

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Publicado em 2022
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  18. 178

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /

    Publicado em 2020
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  19. 179

    Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

    Publicado em 2022
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico
  20. 180

    Solving PDEs in Python The FEniCS Tutorial I / por Langtangen, Hans Petter, Logg, Anders

    Publicado em 2016
    Assuntos: “…Software engineering.…”
    Link to Metadata
    Recurso Eletrônico livro eletrônico