Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
A Reference Model for Requirements and Specifications
IEEE Software
Requirement progression in problem frames: deriving specifications from requirements
Requirements Engineering
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Classifying Assumptions Made during Requirements Verification of Embedded Systems
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
Researchers make a significant effort to develop new modelling languages and tools. However, they spend less effort developing methods for constructing models using these languages and tools. We are developing a method for building an embedded system model for formal verification. Our method provides guidelines to build a model and to construct a correctness argument. We start from a high-level formula stating that a plant (a device that performs a task) and its control should satisfy requirements. As our knowledge about the system grows, we refine this formula and the model gradually, in a stepwise non-monotonic process, until we have a description that can be formally verified. In this paper we explain our method on a simple example and compare it briefly with two other methods: requirements progression and the goal-oriented KAOS approach. The requirements progression is an extension of a problem frames approach. The KAOS method is also based on problem frames, but introduces new concepts for describing a system.