Keywords :
formal specification; program compilers; program testing; software cost estimation; software development management; agile estimation; agile software development; agile value; customer communication; test-based refactoring; test-based specification;