Suggested Topics within your search.
Showing 81 - 100 results of 170 for search '"software engineering"', query time: 0.05s Refine Results
  1. 81
    Cyber-Physical Systems of Systems: Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
    Published 2016
    Subjects: “…Software Engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  2. 82
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    by Dirk Beyer
    Published 2018
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  3. 83
    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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    Published 2021
    Subjects: “…Software Engineering bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  4. 84
    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
    Published 2018
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  5. 85
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Amal Ahmed
    Published 2018
    Subjects: “…software engineering specifications…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  6. 86
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Ralf Küsters
    Published 2018
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  7. 87
    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    Published 2018
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  8. 88
    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
    by Ahmed, Amal
    Published 2018
    Subjects: “…software engineering specifications…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  9. 89
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    Published 2020
    Subjects: “…Software Engineering bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  10. 90
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    Published 2020
    Subjects: “…Software Engineering bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  11. 91
    Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
    Published 2016
    Subjects: “…Software Engineering/Programming and Operating Systems…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  12. 92
    Agents and Robots for Reliable Engineered Autonomy
    Published 2021
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  13. 93
    Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
    Published 2022
    Subjects: “…Software Engineering bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  14. 94
    Enabling Things to Talk
    Published 2013
    Subjects: “…Software Engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  15. 95
    Smart Technologies for Precision Assembly : 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers
    Published 2021
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  16. 96
    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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    Published 2021
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  17. 97
    Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “…Computer programming / software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  18. 98
    Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
    Published 2020
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  19. 99
    Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    Published 2020
    Subjects: “…software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
  20. 100
    Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    Published 2020
    Subjects: “…Computer programming / software engineering…”
    Get Fullteks
    DOAB: description of the publication
    Book Chapter
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search