Paper Info
Title
Refinement-Based Specification: Requirements and Architecture.
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.
Year
Venue
Field
2014
arXiv: Software Engineering
Architecture,Systems engineering,Software engineering,Computer science,Refinement,System requirements,System requirements specification
DocType
Volume
Citations 
Journal
abs/1404.7260
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Maria Spichkova116015.29