Εμφανίζονται 321 - 340 Αποτελέσματα από 412 για την αναζήτηση '"software testing"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 321
    Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Pushdown Systems -- Software Testing -- Locating Regression Bugs -- The Advantages of Post-Link Code…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 322
    Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… vs. Side-by-Side Programming -- SPI Studies -- Finding and Ranking Research Directions for Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 323
    Functional Verification Coverage Measurement and Analysis
    ανά Piziali, Andrew
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 324
    Beginning Haskell A Project-Based Approach /
    ανά Mena, Alejandro Serrano
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 325
    Software Reliability Modeling Fundamentals and Applications /
    ανά Yamada, Shigeru
    Έκδοση 2014
    Πίνακας περιεχομένων: “… release problem -- 6.2 Statistical software testing-progress control -- 6.3 Optimal testing-effort…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 326
    Value-Based Software Engineering
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Usability Testing to Facilitate Stakeholder Involvement -- Value-Based Management of Software Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 327
    Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 328
    Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
    Έκδοση 2023
    Λήψη πλήρους κειμένου
  9. 329
    1006822.pdf
    Έκδοση 2020
    “…; specification, design, and implementation of particular classes of systems; and software testing.…”
    Λήψη πλήρους κειμένου
  10. 330
    System Performance and Management Analytics
    Έκδοση 2019
    Πίνακας περιεχομένων: “…-Release Open Source Software Systems -- Improvisation of Reusability Oriented Software Testing -- Water…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 331
    Information Systems: Research, Development, Applications, Education 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Systems Development and Engineering -- A Performance Measurement System for Software Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 332
    Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Software Testing -- Firefly Algorithms for Multimodal Optimization -- Economical Caching with Stochastic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 333
    Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 334
    E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  15. 335
    9783854480426.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  16. 336
    Graph Theory, Combinatorics and Algorithms Interdisciplinary Applications /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 337
    Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Generation for Concurrent Programs -- Revisiting Hyper-Parameter Tuning for Search-based Software Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 338
    Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Software Testing Standard -- Goal-Based Safety Standards: Promises and Pitfalls -- Safety Levels in a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 339
    Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009 /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Problem -- Safety Process Measur ement – Are we ther e yet? -- Safety Standards -- Software Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 340
    Software Engineering Research, Management and Applications
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email