~/bcs-bcs-practitioner-certificate-in-systems-modelling-and-development · Methods ▊

BCS · objective · 10% of the exam

Methods — BCS Practitioner Certificate in Systems Modelling and Development

The official BCS documentation our Methods practice questions are cited to. Review the primary sources, then practise.

Official references for this objective

Bcs — Formal methods in large scale computing systems | BCS

‘Testing can be used to show the presence of bugs, but not their absence.’ The other technique is FMs that mathematically prove that the software
Bcs — 2018 Karen Spärck Jones lecture: Formal methods in the wild - modelling systems as they are | BCS

In both cases, unexpected behaviours were found - in systems out there in the wild.
Bcs — BCS Practitioner Certificate in Systems Development Essentials | BCS

quality assure the key models that the selected method uses for defining the process, static and event processes of the system