Describe the process of writing a formal specification for some system function.

What will be an ideal response?


• Define a system state in terms of the objects manipulated by the function
• Using a simple mathematical function as an example, define the data invariant by writing data relations that will not change during the execution of the function
• Write the precondition and postcondition for the function using mathematical notation to show the system state before and after the

Computer Science & Information Technology

You might also like to view...

What is the output of the following code?

``` ArrayList list = new ArrayList(); java.util.Date d = new java.util.Date(); list.add(d); list.add(d); System.out.println((list.get(0) == list.get(1)) + " " + (list.get(0)).equals(list.get(1))); ``` a. true false b. false true c. true true d. false false

Computer Science & Information Technology

How many arguments does the IIf function have?

A) 1 B) 2 C) 3 D) 4

Computer Science & Information Technology

The _______________ element is a placeholder in which dynamic graphics can be configured

a. video b. script c. embed d. canvas

Computer Science & Information Technology

_______________ is synonymous with traffic shaping.

Fill in the blank(s) with the appropriate word(s).

Computer Science & Information Technology