Sentence examples for specification of system from inspiring English sources

Monitoring and checking is performed based on a formal specification of system requirements.

By reusing knowledge obtained in previous projects, requirements patterns can be elaborated to facilitate a more complete and consistent specification of system requirements in that domain.

The aim of the new software is to allow a flexible specification of system structures using concurrently different formalisms that are conventionally used in different modeling domains.

Specification of system behaviour is ensured through the use of Coloured Petri nets (CP nets) on the basis of a multi-model design.

A cost benefit analysis along with the specification of system outcomes helps in recognizing the successes and failures in terms of post-implementation operational performance measures.

This three-step approach to design includes precise specification of system functionality, rapid exploration of numerous system-level design options, and refinement of the specification into one reflecting the chosen option.

It is the main idea behind algebraic specification, which is one approach to the specification of systems in computer science.

Lack of abstraction features may over complicate the architectural specification of systems with a large amount of lower level components.

The Topological UML modeling method covers modeling and specification of systems in computation independent and platform independent viewpoints.

We present an abstract equational framework for the specification of systems having both observational and computational features.

Thus, we extend the formal specification of the system by specifying attacks that have been shown to successfully compromise the system, and we then repeat the formal verification.