Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Specifying with SACSO

Abstract : The aim of our approach is to improve the requirement specification step, which is very important during system development. But rather than study languages, models and tools in the requirement specification context, we work on the formalization of the design specification we call method. Our goal is to describe a multi-method system, a system which allows the user to define his own method or to use predefined ones. During the design specification step, the system will guide the specifier in terms of the chosen method.
Document type :
Reports (Research report)
Complete list of metadata
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 7:29:58 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:32 AM
Long-term archiving on: : Friday, May 13, 2011 - 3:59:27 PM


  • HAL Id : inria-00075870, version 1



Nicole Levy, Alina Piganiol, Jeanine Souquières. Specifying with SACSO. [Research Report] RR-0683, INRIA. 1987. ⟨inria-00075870⟩



Record views


Files downloads