Sentence examples for behaviour of a program from inspiring English sources

This reduces the gap between static information and dynamic behaviour of a program.

It is essential that the model facilitates the understanding of the dynamic behaviour of a program and thus the generation of relevant test cases.

In AspectJ, which is the most investigated AOP language and whose implementation model has inspired the proposition of several other languages, aspects have the ability to modify the behaviour of a program at specific points during its execution.

The example of Fig. 2 illustrates how an around advice that is activated at a method call can be represented to enhance the comprehension of dynamic behaviour of a program.

In order to ensure correct behaviour of a reactive program, in which computations are non-terminating (e.g., an operating system) it is necessary to formally specify and verify the acceptable infinite executions of that program.

This finding has positive implications for the analysis of concepts as it provides an approach to decompose a program into smaller executable units, each of which captures the behaviour of the program with respect to a domain-level concept.

We devised a series of underlying test models based on static information which are closer to the dynamic behaviour of the program.

We consider specific situations that happens in OO and AO to be represented in the models and then generate relevant test requirements for testing dynamic behaviour of that program.

Investigating the behaviour of these program in detail would be beyond the scope of the present study.

What should be changed in the behaviour of the program participants (IPs) and what should be changed in their environment (the Institute)?

We attempted to write source code that could be easily understood by others, as this helped to make clear both the behaviour of the program and the underlying intentions of the programmer.