in IS&Software Engineering
333 views
0 votes
0 votes

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

  1. Textual 
     
  2. Diagrammatic
     
  3. Mathematical
     
  4. Computer code
in IS&Software Engineering
333 views

1 Answer

0 votes
0 votes
Best answer

Formal methods are techniques used to model complex systems as mathematical entities. Formal methods are system design techniques that use rigorously specified mathematical models to build software and hardware systems. In contrast to other design systems, formal methods use mathematical proof as a complement to system testing in order to ensure correct behavior.

Ans : 3. Mathematical

selected by

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true