Showing 7,081 - 7,100 results of 7,608 for search '"Software Engineering"', query time: 0.16s Refine Results
  1. 7081
    Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
    Published 2009
    Table of Contents: “… Techniques -- NuSEE: Nuclear Software Engineering Environment -- Human-factors-related Issues…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 7082
    Distributed systems : design and algorithms /
    Published 2011
    Table of Contents: “… -- Software engineering for adaptative embedded systems / Etienne Borde -- The design of aerospace systems…”
    Full Text via HEAL-Link
    eBook
  3. 7083
    2020_Book_ComputerAidedVerification.pdf
    Published 2020
    Get full text
  4. 7084
    978-3-030-81685-8.pdf
    Published 2021
    Get full text
  5. 7085
    978-3-030-81688-9.pdf
    Published 2021
    Get full text
  6. 7086
    978-3-031-09357-9.pdf
    Published 2022
    Get full text
  7. 7087
    Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  8. 7088
    978-3-031-09593-1.pdf
    Published 2022
    Get full text
  9. 7089
    978-3-030-74218-8.pdf
    Published 2021
    Get full text
  10. 7090
    978-3-031-57246-3.pdf
    Published 2024
    Get full text
  11. 7091
    978-3-031-57256-2.pdf
    Published 2024
    Get full text
  12. 7092
    978-3-031-53227-6.pdf
    Published 2024
    Get full text
  13. 7093
    Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
    Published 2004
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 7094
    Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
    Published 2005
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 7095
    Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
    Published 2003
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 7096
    Αξιοποιώντας την τεχνολογία τού service oriented computing σε συστήματα βιομηχανικού αυτοματισμού
    “… τεχνολογιών αιχμής από την περιοχή του Software Engineering. Στην κατεύθυνση αυτή η παρούσα εργασία μελετά τα…”
    Get full text
    Thesis
  17. 7097
    Advances in Databases and Information Systems 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005. Proceedings /
    Published 2005
    Table of Contents: “… and Software Engineering -- Conceptual Content Management for Software Engineering Processes -- Using Step-Wise…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 7098
    Education and the Knowledge Society Information Technology supporting human development /
    Published 2005
    Table of Contents: “… -- Developments in the fields of Software Engineering -- Developments in the fields of Software Engineering…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 7099
    Enterprise and Organizational Modeling and Simulation 12th International Workshop, EOMAS 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13, 2016, Selected Papers /
    Published 2016
    Table of Contents: “… on Enterprise Architecture Information -- Towards OntoUML for Software Engineering: Introduction…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 7100
    Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Web /
    Published 2009
    Table of Contents: “… Software Engineering Ontology Instantiations Management Using Reputation Based Decision Making -- 2…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search