Title :
A “coming and going” approach to specification construction: a scenario
Author :
Levy, N. ; Souquières, J.
Author_Institution :
CNRS, CRIN, Vandoeuvre-les-Nancy, France
Abstract :
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. The 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
Keywords :
automatic programming; computer aided software engineering; formal specification; manufacturing data processing; production control; Coming and Going; automatic programming; production cell case study; specification construction; Belts; Electronic mail; Feathers; Feeds; Formal specifications; Logic; Production; Robots; Software engineering; Specification languages;
Conference_Titel :
Software Specification and Design, 1996., Proceedings of the 8th International Workshop on
Conference_Location :
Schloss Velen
Print_ISBN :
0-8186-7361-3
DOI :
10.1109/IWSSD.1996.501159
