SEApr 29, 2014
Refinement-Based Specification: Requirements and Architecture
arXiv:1404.7260v11 citations
Originality Synthesis-oriented
AI Analysis
This work addresses the challenge of formalizing system design for engineers, but it appears incremental as it builds on existing refinement methodologies without claiming major breakthroughs.
The paper tackles the problem of specifying system requirements and architecture through decomposition and refinement, introducing refinement layers and refinement-based verification as key concepts.
This paper presents the methodology for the system requirements and architecture w.r.t. their decomposition and refinement. It also introduces ideas of refinement layers and of refinement-based verification.