DocumentCode
1704597
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
fYear
1996
Firstpage
155
Lastpage
158
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1996., Proceedings of the 8th International Workshop on
Conference_Location
Schloss Velen
Print_ISBN
0-8186-7361-3
Type
conf
DOI
10.1109/IWSSD.1996.501159
Filename
501159
Link To Document