Paper Info
Title
Refactoring-Based stepwise refinement in abstract system-level design
Abstract
Stepwise refinement in system-level design corresponds to restructuring an internal structure of a system while preserving functions of the system. We are aiming to build the restructuring process based on refactoring techniques. In this paper, we describe a restructuring procedure to obtain a concrete specification description from an abstract one. Moreover, we describe some existing refactorings used in restructuring steps and a new refactoring for system-level design. We designed a simple internet-router as an example. As a result, we obtained a specification model defined in the SpecC methodology from an abstract one. Moreover, our proposal shows that our research opens a new application field of refactoring, refactoring can be applied sufficiently to system-level design, and the refactoring can be the basis of stepwise refinement
Year
DOI
Venue
2006
10.1007/11802167_72
EUC
Keywords
Field
DocType
new application field,restructuring procedure,refactoring-based stepwise refinement,system-level design,refactoring technique,stepwise refinement,system-level design corresponds,abstract system-level design,concrete specification description,restructuring process,restructuring step,new refactoring,system level design
Program transformation,Programming language,Computer science,Electronic system-level design and verification,Top-down and bottom-up design,Algorithm,SpecC,Specification,Code refactoring,Restructuring,Class diagram,Distributed computing
Conference
Volume
ISSN
ISBN
4096
0302-9743
3-540-36679-2
Citations 
PageRank 
References 
0
0.34
3
Authors
5
Name
Order
Citations
PageRank
Ryosuke Yamasaki100.34
Kazutaka Kobayashi211.03
Nurul Azma Zakaria301.01
Shuji Narazaki432.10
Norihiko Yoshida54611.47