Aspire's Library

A Place for Latest Exam wise Questions, Videos, Previous Year Papers,
Study Stuff for MCA Examinations - NIMCET

Previous Year Question (PYQs)

In software engineering, what kind of notation do formal methods predominantly use?




Solution

Formal methods are used to specify, develop and verify software systems.
They use strict and precise notation.
This notation is mainly based on mathematics, logic and set theory.
So, formal methods predominantly use mathematical notation.

Online Test Series,
Information About Examination,
Syllabus, Notification
and More.

Click Here to
View More

Online Test Series,
Information About Examination,
Syllabus, Notification
and More.

Click Here to
View More
Ask Your Question or Put Your Review.

loading...