Author information unavailable
Abstract
The software engineering background software specification and verification informal methods formal methods - what are they? some discrete mathematics a more detailed look at formal methods applications to program specification and verification software prototyping.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The software engineering background software specification and verification informal methods formal methods - what are they? some discrete mathematics a more detailed look at formal methods applications to program specification and verification software prototyping.
Key concepts: Computer science, Management science, Epistemology, Philosophy, Economics