Problem
Note that the process specification shown in the example in the chapter looks somewhat like program coding. What do you think of the idea of using pseudocode to write process specifications? What do you think of the notion of using a real programming language-such as Ada, as many people have suggested-for program specifications? Why would a real programming language good or bad?