# Refinement-Based Specification: Requirements and Architecture

arXiv: https://arxiv.org/abs/1404.7260 · HTML: https://mlsanity.com/paper/1404.7260/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 29 Apr 2014.

## Built on by (most cited first, 1 of 1)

- [Coding With AI: From a Reflection on Industrial Practices to Future Computer Science and Software Engineering Education](https://mlsanity.com/paper/2512.23982/) (2025)

## 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.