A formal and pragmatic process model with iteration is developed to facilitate the automation of software processes. A procedure language model that can fully utilize the existing automation techniques (compilers or interpreters) developed in procedural programming languages is proposed. It is shown that among the models discussed, this model can reach the highest degrees of automation.
展开▼