« Advice to Beginner Programmers | Main | Great Spotted Woodpecker »

State the Problem Before Describing the Solution

Today I came across the following short note on Leslie Lamport's site:

State the Problem Before Describing the Solution, Leslie. Lamport, ACM SIGSOFT Software Engineering Notes 3, 1 (January 1978) 26

The idea is that, when writing a paper, you should precisely state the correctness requirements for any solution before you present your proposed solution.  Lamport points out that this idea can also be used when writing programs.  The separation of the requirements from the solution is similar to Michael Jackson's insistence that requirements be written in terms of domain concepts rather than solution concepts.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
All HTML will be escaped. Hyperlinks will be created for URLs automatically.