- APA style formatting - Minimum of 500 words in the body - It must be original - 100% Plagiarism free - use in-text citations - use concrete references (no wikipedia)
Pfleeger and Hatton (1997) examined the quality of a system that had
been specified using formal methods. They found that the system was
unusually well-structured and easy to test. They speculated that the
high quality was due to the thoroughness of the specification, not
necessarily its formality. How could you design a study to determine
whether it is formality or thoroughness that leads to high quality?