Refinement-Based Specification: Requirements and Architecture

2014/04/29 by Maria Spichkova, Spichkova, Maria · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Formal Methods in Verification #Model-Driven Software Engineering Techniques #cs.SE

paper · pdf · doi:10.48550/arxiv.1404.7260

In Software Engineering 2011 (SE)

arxiv created 2014/04/29 · arxiv updated 2014/04/30

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.

Cited by

• (Auto)Focus approaches and their applications: A systematic review

Related

• Validation Obligations: A Novel Approach to Check Compliance between\n Requirements and their Formal Specification
• Refinement and Verification of Real-Time Systems
• Mu-FRET: a catalogue and tool for requirement refactoring
• Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation
• Towards Refactoring FRETish Requirements