A "coming and Going" Approach to specification construction: A scenario

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 155-158

  Levy, N ^a   Souquieres J ^a  

^a CRIN CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PRODUCTION CELLS; SINGLE-STEP;

SPECIFICATIONS;

EID: 84961301128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1996.501159     Document Type: Conference Paper

References (15)

1. Dan Craigen, Susan Gerhart, and Ted Ralston. An Internataonal Survey of Industrial Applications of Formal Methods. NIST GCR 93-626-Vl, 5285 Port Royal Road, Springfield, Virginia 22161, U.S.A., March 1993.
2. Alan W. Brown, Anthony N. Earl, and John A. McDermid. Software Engineering Environments: Automated Support for Software Engineering. International Series in Software Engineering. McGraw-Hill, London, New York, Paris, 1992.
3. M.A. Jackson. System Development. International Series in Computer Science. Prentice Hall, 1983.
4. G. Booth. Object-Oriented Design with Application. Addison-Wesley, 1990.
5. J. Rambaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall International. Englewood Cliffs, New Jersey, 1991.
6. J.B. Wordsworth. Software Development with 2. International Computer Science Series. Addison Wesley, 1992.
7. WL. Johnson and MS. Feather. Building an evolution transformation library. In Proceedings, 12th International Conference on Software Engineering, pages 238-248, Nice, France, 1990.
8. MS. Feather. Constructing specification by combining parallel elaboration. In Transactions on Software engineering, pages 198208. I.E.E.E, 1989. 15(a).
9. J. Souquieres and N. Levy. Description of Specification Developments. In Proceedings IEEE International Symposium on Requirements Engineering, San Diego (CA, USA), January 1993.
10. R. Darimont and J. Souquibres. A Development Model: Application to Z specifications. In Proc. of the IFIP WG 8.1 Working Conference on Information System Development Process, Como, Italy, 1993. North Holland. September 1993.
11. Claus Lewerentz and Thomas Lindner. Formal development of reactive systems: case study production cell. Number 891 in Lecture Notes in Computer Science. Springer-Verlag, 1995.
12. JM. Spivey. Understanding z, a specification language and its formal semantics. Cambridge Racts in Theorical Computer Science, 3, 1988.
13. N. Levy and G. Smith. A language-independent approach to specification construction. In Proceedings of the ACM SIGSOFT'94: Symposium on the Foundations of Software Engineering, New Orleans, USA., December 1994.
14. J. Souquikres and R. Darimont. La Description du Developpement de Specifications. Technique et Science Informatipues, 14(9), novembre 1995.
15. G. Bosch and J. Souquihes. Prototype Assistant: its function and its design. Esprit Project 2537 ICARUS, Deliverable #48, January 1994. Development Editor User Manual.