Domain specifications
Informally speaking, specifications are deterministic or non-deterministic rules that describe the expected behavior of a system. In music, for example, there are several rules for counterpoint and harmony that describe the expected behavior of a musical style.
While generative models using Artificial Neural Networks (ANNs) are extremely powerful, it is not trivial to predict the outcome given the input, especially in situations where the output of the system is recursively used as the input. On the other hand, models based on automata are more predictable, but usually, they lack the power and flexibility of ANNs.
A formal specification is a mathematical statement of what a system must or must not do, often expressed ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access