An automated design specification verification tool automatically determines, for one or more functions defined in a first section of a design specification, whether a respective function name is declared in a second section of the same design specification. Further, it can be determined whether parameter names associated with respective functions in the first section are declared in the second section, and whether class attribute names associated with respective functions in the first section are described in a third section. Results of the verification process can be reported. In embodiments, the first section is a function definition section, the second section is a function list section, and the third section is a class attributes section; each being part of a class specification of a design specification document.