Previous chapters have introduced monotonic predicate transformers as the basic model for contract statements. These can be used to describe programs, program specifications, games, and, of course, contracts and agreements. The predicate transformer semantics was originally designed for reasoning about the correctness of program statements. We will show below how to use predicate transformers to reason about correctness-preserving program refinements. Show
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves. Which three of the following are key elements of a general assurance engagement? 1 A,B,C 2 Which three of the following describe aspects of the expectations gap with respect to the 2 A,B,D 3 Which one of the following qualifications is required for individuals working on audits in the 3 D Employment by a firm controlled by qualified persons. Membership of a recognised 4 Which two of the following are limitations of the provision of
assurance? 4 B,C The answer is not option A as the fact that assurance work is carried out by 5 In any assurance engagement there are three parties involved: the responsible party, the 5 C,E It is the responsible party who will determine the suitable criteria (in response to
the 6 Which one of the following
statements best describes the evidence obtained and the 6 B
Sufficient appropriate audit evidence is gathered and a positively worded opinion 7 For each of the following statements, select whether they are true or false. 7 A,C,F 8 Jones LLP is the external auditor of Blue plc, a listed company. The directors of Blue plc 8 A,D,F 9 For each of the following statements, select whether they are true or false in respect of 9 B,D,E 10 There are two types of assurance engagement: reasonable assurance engagements and 10 A,D Reasonable assurance engagements include the statutory audit. The auditor's report is 1 For each of the following statements relating to the provisions of the Companies Act 2006, 1 A,C As per Companies Act, 2006, a statutory auditor must be a member of a recognised 12 Which one of the
following best describes the concept of assurance? 2 B Assurance refers to an assurance firm's satisfaction as to the reliability of an assertion 13 Which three of the following are benefits of an assurance report on financial information? 13 A,B,D 14 In any assurance engagement there are three parties involved: the responsible party, the 14 A,E It is the responsible party that prepares the subject matter and the practitioner who is 5 The following is an extract from an independent accountant's unmodified report on a
profit 5 D There are two types of conclusion which can be given: a conclusion expressed in 16 In the context of a statutory audit which three of the following are examples of the 16 A,B,D 17 The level of assurance provided by an assurance engagement will depend on the type of 17 B,D,F 18 Which two of the following factors would render a person ineligible to be a company 18 B,C 19 The Companies Act 2006 requires all companies to be audited, but allows small companies 19 B,C,F Which of the following best describes what the purpose of a heuristic in programming?Choice 'C' is the correct answer. The definition of a heuristic is a technique that allows the user to find an approximate answer in a reasonable amount of time. We use heuristic algorithms when problems cannot be solved in a reasonable time and they do not have an exact answer.
Which of the following parallel computing solutions would minimize the amount of time it takes to execute?Which of the following parallel computing solutions would minimize the amount of time it takes to execute all four processes? why? With two processors running in parallel, execution time is minimized when the processors take on as close to an equal workload as possible.
Which of the following describes good practice when naming variables in code select two answers?Use concise names to avoid typos and keep code tidier. Use names which describe what each variable represents to make code easier to understand.
Which of the following best describes a challenge involved in using a parallel computing solution?Which of the following best describes a challenge involved in using a parallel computing solution? A parallel computing solution may not be appropriate for an algorithm in which each step requires the output from the preceding steps.
|