Match the following:
A- Formal mathematical transformation:
B- Formal process model:
C-Formal Specifications:
D-Formal System development:
1- Here the formal mathema- tical representation of the system takes place.
2- It is a starting point for process analysis. It is abstract and only defines the principal process activities and deliverables.
3-Specifications expressed in a language whose vocabulary, syntax and semantics are formally defined.
4-It is more common to waterfall model, but here the development process is based on formal mathematical transformation of a system specification to an exactable program.

Related MCQs

• In system modeling : A-Classification model; B-Stimulus-response model; C-Data processing model: 1-Here data-flow diagram show how data is processed at different stages; 2-Here object class/inheritance diagram show, how entities have the common characteristics; 3-Here state transition diagram shows the how the system reader to internal and external events
• What combines the outward manifestation of the computer-based system , coupled with all supporting information that describe system syntax and semantics?
• Match the following : A- Managed device : B-Managed object: C- Managed processes: 1- Type of node residing on a network, such as a computer, printer or routers that contain a management agent. 2- Characteristic of a managed device that can be monitored, modified or controlled. 3- It is a defined process model. Procedures used are defined and scheduling and relationship between them is defined.
• The software life cycle can be said to consist of a series of phases. The classical model is referred to as the waterfall model. Which phase may be defined as “The concept is explored and refined, and the client’s requirements are elicited?”
• Match the following : A-Control metrics : B- Process metrics: C- Control: D-Correctness: 1- They are associated with software process. 2- They are associated with software products. 3- Protective measure that reduces system vulnerability. 4- Extent to which a system or component is free from faults in its specification, design, and implementation
• It is intended to find inconsistencies between a program and its specification. These inconsistencies are usually due to program faults or defects.
• Match the following A- Functional requirements: B- Functional scope : C- Function-point count: D- Function-related measures: 1- It describe the functionality or services that system is expected to provide. 2- Range to which a system component is capable of being applied. 3- These are language independent productive measure.. 4- It is related to the overall functionality of the delivered software.
• One can choose Waterfall Model if the project development schedule is tight.
• In system modeling : A-Model; B-Prototype;; 1- it’s an abstract view of a system that ignores system details; 2-It’s an initial version of system software which givers end-users a concrete impression of the system capacities
• In system modeling: A-Architectural model: B-Stimulus-response model: C-Behavioral models: 1-Used to describe the overall behavior of the system: 2-State transition diagram show how the system reacts to internal and external events: 3-Shows principal sub-systems which makes the system