This paper reviews GCSR and reports our experience with the production cell case study. Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering Eric S. K. Yu University of Toronto Requirements are usually understood as stating what a system is supposed to do, as opposed to how it should do it. Requirements modeling techniques can be used to help deal with the knowledge and reasoning needed in this earlier phase of requirements engineering. However, most existing requirements techniques are intended more for the later phase of requirements engineering, which focuses on completeness, consistency, and automated verification of requirements. This paper argues, therefore, that a different kind of modeling and reasoning support is needed for the early phase.
Meeting scheduling is used as a domain example.
This paper advocates for a process-oriented approach to reuse operational requirements. The paper shows that it is worth recording the reuse process for developing operational requirements and not only the final product artifacts generated by the reuse process. The motivation behind is that syntactical constructs of the specification languages are generally not sufficient to trace the reuse process. Such traces are important for documentation purpose, for maintenance, replay and software evolution. Our collaboration has developed an application-oriented language, toolset, and accompanying process for specifying the requirements and generating the code for the 5ESS audits software.