What design heuristics may enhance the utility of a formal specification
John Andrew van der Poll, Paula Kotzé · South African Institute of Computer Scientists and Information Technologists · 2002
General design heuristics are fairly common in the field of software engineering. Although formal specification can be seen as a subsection of software engineering, design heuristics for constructing a formal specification have been relatively rare. This paper examines a number of formal specifications written in Z as well as some design heuristics from software engineering and areas of general design, upon which we propose ten design heuristics that may be used in drawing up a formal specification. It then illustrates the utility of these heuristics by constructing a specification based on these guidelines.