Refinement-Based Specification: Requirements and Architecture
Maria Spichkova
TL;DR
This paper introduces a methodology for refining system requirements and architecture through layered decomposition and verification, aiming to improve system design clarity and correctness.
Contribution
It proposes a novel refinement-based approach for specifying and verifying system requirements and architecture layers.
Findings
Defines refinement layers for system specifications
Introduces a refinement-based verification process
Enhances clarity in system architecture design
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Formal Methods in Verification · Model-Driven Software Engineering Techniques