العربية
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
مقالات كاملة
فئات
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
انت تكتب
المستعمل
تسجيل الدخول
تسجيل
استعادة كلمة السر
العلامات
علامات اللغة
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
علامة formal-methods - هذه الصفحة 3 - GeneraCodice
What are the barriers that prevent widespread adoption of formal methods? [closed]
https://www.generacodice.com/ar/articolo/2977791/what-are-the-barriers-that-prevent-widespread-adoption-of-formal-methods-closed
formal-methods
-
development-process
-
code-quality
softwareengineering.stackexchange
How to prove a function returns a value
https://www.generacodice.com/ar/articolo/2960469/how-to-prove-a-function-returns-a-value
verification
-
formal-methods
softwareengineering.stackexchange
How to map an API into another one?
https://www.generacodice.com/ar/articolo/2882852/how-to-map-an-api-into-another-one
api
-
case-tools
-
domain-driven-design
-
formal-methods
-
wrapper
softwareengineering.stackexchange
What does “loops must be folded to ensure termination” mean?
https://www.generacodice.com/ar/articolo/2834874/what-does-loops-must-be-folded-to-ensure-termination-mean
loops
-
formal-methods
-
abstract-interpretation
StackOverflow
Is “Unit testing” a form of formal method?
https://www.generacodice.com/ar/articolo/2618394/is-unit-testing-a-form-of-formal-method
unit-testing
-
formal-methods
-
concepts
softwareengineering.stackexchange
How “Best” to capture State Transitions in a formal software requirements specification
https://www.generacodice.com/ar/articolo/2610312/how-best-to-capture-state-transitions-in-a-formal-software-requirements-specification
formal-methods
-
requirements
softwareengineering.stackexchange
Interpreting a proof of $2^\mathbb{N}$ being uncountable
https://www.generacodice.com/ar/articolo/2479573/interpreting-a-proof-of-2-mathbb-n-being-uncountable
formal-methods
-
type-theory
-
agda
cs.stackexchange
صورة عامة للتحقق الرسمي في البرامج
https://www.generacodice.com/ar/articolo/2470334/صورة-عامة-للتحقق-الرسمي-في-البرامج
formal-methods
-
software-verification
-
mathematical-foundations
cs.stackexchange
كيف تثبت أن استبدال حرف في سلسلة في كل من C وJavaScript متكافئ؟
https://www.generacodice.com/ar/articolo/2467666/كيف-تثبت-أن-استبدال-حرف-في-سلسلة-في-كل-من-c-وjavascript-متكافئ
programming-languages
-
formal-methods
-
proof-techniques
cs.stackexchange
Do theorem provers demonstrate their own correctness?
https://www.generacodice.com/ar/articolo/2448893/do-theorem-provers-demonstrate-their-own-correctness
formal-methods
-
automated-theorem-proving
-
software-verification
cs.stackexchange
«
1
2
3
4
5
6
»
العثور على نتائج: 188