Home Library Explore SAT

Home Library Explore SAT

TSE302/05 Tutorial 4 Flashcards | StudBud

Explore/TSE302/05 Tutorial 4

An algebraic approach system is

The main disadvantage of formal specification languages except:

TSE302/05 Tutorial 4

10 terms·StudBud Administration·3 plays

Software Requirement & Specification

Flashcards10 cardsFPractice quizPHost liveL

Questions 10

Answers

1
The main disadvantage of formal specification languages except:
Reducing the number of errors in systems
Limited scope of formal methods
Limited scalability of formal methods
Difficulty in understanding the syntax
2
An algebraic approach system is
described in terms of operations and their relationships.
builds a model of the system using mathematical constructs
able to prove the correctness of an implementation
the first phase in the design process
3
Two fundamental approaches to formal specification for writing detailed specifications are:
An orthogonal approach
A model-based approach
A theory-based approach
An algebraic approach
4
Below are some benefits of formal specification except:
Constructive guide
Proof of correctness
All
Concise and unambiguous.
5
The stages in software specification consist of how many stages ?
3
5
4
2
6
" symbol in Z Schema represent
Natural numbers
Integers
Subset
Power set
7
Below are the purpose of formal specification except:
to confirm number of user
to resolve ambiguities
to detect design errors before system development
to verify important properties
8
The software specification stages are not independent and may be performed in different order
True
True
False
9
User requirements can categorize into _______and_______
top-down and bottom-up requirements
functional and non-functional requirements
temporary and non-temporary requirements
active and non-active requirements
10
The formal methods is suitable for the design of ___________.
Online systems
Critical systems
Normal systems
Operating systems