From 8388315f5687779bdc7c09b8cfaf8ae9fe8136c1 Mon Sep 17 00:00:00 2001 From: Davide Fucci Date: Fri, 23 Feb 2018 23:26:48 +0100 Subject: [PATCH] Correct author's name (Fucci et al., 2016) --- specifications.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specifications.html b/specifications.html index cebd638..29185a8 100644 --- a/specifications.html +++ b/specifications.html @@ -90,7 +90,7 @@ function min(a, b) {

When the consequences aren't so high, other factors dominate: writing functional specifications is very hard and very time consuming, you need tools to verify the annotations themselves, and you have to maintain annotations. These barriers deter many developers from writing them (Schiller et al. 2014). Some forms of specifications, like the UML diagrams we described when discussing architecture, lack the benefits of formal specifications and require a lot of work to create, leading many practitioners to find them not worth the effort (Petre 2013).

-

Specifications can have other benefits. The very act of writing down what you expect a function to do in the form of test cases can slow developers down, causing to reflect more carefully and systematically about exactly what they expect a function to do (Fuci et al. 2016). Perhaps if this is true in general, there's value in simply stepping back before you write a function, mapping out pre-conditions and post-conditions in the form of simple natural language comments, and then writing the function to match your intentions.

+

Specifications can have other benefits. The very act of writing down what you expect a function to do in the form of test cases can slow developers down, causing to reflect more carefully and systematically about exactly what they expect a function to do (Fucci et al. 2016). Perhaps if this is true in general, there's value in simply stepping back before you write a function, mapping out pre-conditions and post-conditions in the form of simple natural language comments, and then writing the function to match your intentions.

Next chapter: Process