Report3
Completion requirements
Due: Wednesday, 23 December 2015, 23:55
Read De Millo et al.'s paper Social processes and proofs of theorems and programs and submit a short report including the following:
- Who you are (name, id).
- The full bibliographical details of the paper in common citation format.
- Your opinion on whether formal notations can and should be used for requirements and specifications, and how this relates to the arguments made in the paper.