Speaker: Rex Jaeschke
A formal specification for an IT project allows implementers to understand what is required to build an implementation (or create a process) that conforms to that specification, and it allows a conformance test suite (or checklist) to be developed that can be used to check an implementation’s conformance. Users of tools that (partly or fully) conform to that specification can use the specification to learn the potential impact of moving source code, data, or processes between different implementations.
This presentation outlines a number of considerations involved when creating a formal IT specification, in general, and for software, in particular, such as a programming language or library.
[Note: this will NOT be specific to making an ISO standard; that will be the subject of another webinar.]
Download the Writing a Formal IT Specification doc: https://events.linuxfoundation.org/wp-content/uploads/2023/08/Writing-a-Formal-IT-Specification.pdf
