Sentence examples for specification of systems from inspiring English sources

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.

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.

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.

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.

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.

The benefits of both lists of textual requirements (usually written in natural language) and software engineering models (usually specified in graphical form) can be brought together by combining the two approaches in the specification of system and software requirements documents.