What good are strong specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei 0001, Yi Wei, Bertrand Meyer. What good are strong specifications?. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 262-271, IEEE / ACM, 2013. [doi]

@inproceedings{PolikarpovaF0WM13,
  title = {What good are strong specifications?},
  author = {Nadia Polikarpova and Carlo A. Furia and Yu Pei 0001 and Yi Wei and Bertrand Meyer},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2486823},
  researchr = {https://researchr.org/publication/PolikarpovaF0WM13},
  cites = {0},
  citedby = {0},
  pages = {262-271},
  booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
  editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
  publisher = {IEEE / ACM},
  isbn = {978-1-4673-3076-3},
}