Refinement-Based Specification: Requirements and Architecture
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 29 Apr 2014.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2025: 1.
1 paper.