A 'Coming and Going' Approach to Specification Construction

摘要

The construction of a specification or a program is rarely done in one single step and in a linear way. ``Coming and Going'' among the different components of the specification are often performed, i.e., the specification needs to be frequently revisited. This paper illustrates this approach on the production cell case study by means of a scenario of development. It shows what could be automated and indicates which kind of help could be proposed to the specifier.