Question 1087 – Nielit Scientist-B CS 22-07-2017
December 3, 2023UGC NET Dec-2020 and June-2021 Paper-2
December 3, 2023UGC NET Dec-2020 and June-2021 Paper-2
Question 16 |
In software engineering, what kind of notation do formal methods predominantly use?
Computer code | |
Diagrammatic | |
Mathematical | |
Textual |
Question 16 Explanation:
Explanation: Formal methods used in developing computer systems are mathematically based techniques for describing system properties. Such formal methods provide frameworks within which people can specify, develop, and verify systems in a systematic, rather than ad hoc manner.
A method is formal if it has a sound mathematical basis, typically given by a formal specification language. This basis provides a means of precisely defining notions like consistency and completeness, and more relevantly, specification, implementation and correctness.
A method is formal if it has a sound mathematical basis, typically given by a formal specification language. This basis provides a means of precisely defining notions like consistency and completeness, and more relevantly, specification, implementation and correctness.
Correct Answer: C
Question 16 Explanation:
Explanation: Formal methods used in developing computer systems are mathematically based techniques for describing system properties. Such formal methods provide frameworks within which people can specify, develop, and verify systems in a systematic, rather than ad hoc manner.
A method is formal if it has a sound mathematical basis, typically given by a formal specification language. This basis provides a means of precisely defining notions like consistency and completeness, and more relevantly, specification, implementation and correctness.
A method is formal if it has a sound mathematical basis, typically given by a formal specification language. This basis provides a means of precisely defining notions like consistency and completeness, and more relevantly, specification, implementation and correctness.
Subscribe
Login
0 Comments