Showing 361 - 380 results of 739 for search '"Formal Methods"', query time: 0.33s Refine Results
  1. 361
    Computational Artifacts Towards a Philosophy of Computer Science /
    by Turner, Raymond, Turner, Raymond
    Published 2018
    Table of Contents: “… -- Specification -- The Philosophy of Design -- Simplicity in Design -- Modularity -- Formal Methods -- Part V…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 362
    Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers /
    Published 2017
    Table of Contents: “…Formal Methods -- Simulation of Alliance Networks Composition in Knowledge Economy -- A Modified…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 363
    Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers /
    Published 2009
    Table of Contents: “… System Design -- Heuristic Problem Solving -- Simulation and Formal Methods in Systems Design…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 364
    Discrete Mathematics Using a Computer
    Full Text via HEAL-Link
    Electronic eBook
  5. 365
    Software Similarity and Classification
    by Cesare, Silvio, Xiang, Yang
    Published 2012
    Table of Contents: “… Transformations and Obfuscations -- Formal Methods of Program Analysis -- Static Analysis of Binaries -- Dynamic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 366
    Sustainability Appraisal: Quantitative Methods and Mathematical Techniques for Environmental Performance Evaluation
    Published 2013
    Table of Contents: “…Sustainability indicators: development and application -- Formal methods for organization’s…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 367
    Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
    Published 2016
    Table of Contents: “…(In-)formal methods: The Lost Art -- Program refinement, perfect secrecy and information flow…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 368
    Veracity of Big Data Machine Learning and Other Approaches to Verifying Truthfulness /
    by Pendyala, Vishnu, Pendyala, Vishnu
    Published 2018
    Table of Contents: “… -- 4 Change Detection Techniques -- 5 Machine Learning Algorithms -- 6 Formal Methods and Knowledge…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 369
    International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  10. 370
    The Present Situation in the Philosophy of Science
    Published 2010
    Table of Contents: “… -- Well, and Pragmatism? -- Formal Methods -- Formal and Empirical Methods in Philosophy of Science…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 371
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    by O’Regan, Gerard
    Published 2013
    Table of Contents: “… -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 372
    Open Source Systems Security Certification
    Table of Contents: “…Basic Notions on Access Control -- Test based security certifications -- Formal methods…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 373
    Handbook of Software Engineering
    Published 2019
    Table of Contents: “… -- Software Testing -- Formal Methods -- Software Evolution -- Empirical Software Engineering -- Software…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 374
    Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications /
    by O'Regan, Gerard
    Published 2016
    Table of Contents: “… Topics in Logic -- Software Engineering Mathematics -- Formal Methods -- Z Formal Specification Language…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 375
    Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /
    Published 2001
    Table of Contents: “… as Completions -- Industrial Applications of Model Checking -- Formal Methods in Practice: The Missing Links. A…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 376
    Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  17. 377
    Introduction to Software Quality
    by O’Regan, Gerard
    Published 2014
    Table of Contents: “… Tools -- Formal Methods -- Z Formal Specification Language -- Unified Modelling Language -- Epilogue.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 378
    Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings /
    Published 2014
    Table of Contents: “… Vision of Engineering Controlled Interaction Execution for Information Services -- Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 379
    Rigorous Software Development An Introduction to Program Verification /
    Table of Contents: “…List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 380
    Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search