Tag Archives: specifications

The benefits of formal, executable specifications

While a specification should not specify the C++ code that should be implemented for the specified feature, it should specify the feature in a verifiable manner. In some cases, formal — and even executable — specifications can be of great … Continue reading

Posted in Software Development, Software Engineering, Software Testing | Tagged , , , , | Comments Off on The benefits of formal, executable specifications

On the importance of clear technical specifications

Even when the code is working like a charm, technical specifications — and their different interpretations by different people — can lead to confusion and hours-long debugging sessions.

Posted in Embedded software development, Software Engineering | Tagged , | Comments Off on On the importance of clear technical specifications