Paper Info
Title
Property Preserving Refinement for Csp-Casl
Abstract
In this paper we present various notions of the combined refinement for data and processes within the specification language Csp-Casl. We develop proof support for our refinement notions and demonstrate how to employ them for system development and for system analysis. Finally, we apply our technique to an industrial standard for an electronic payment system.
Year
DOI
Venue
2008
10.1007/978-3-642-03429-9_14
workshop on recent trends in algebraic development techniques
Keywords
Field
DocType
property preserving refinement,industrial standard,refinement notion,system analysis,proof support,specification language,system development,electronic payment system,various notion,combined refinement
Specification language,Computer science,Payment system,Theoretical computer science,TRACE (psycholinguistics),System development
Conference
Volume
ISSN
Citations 
5486
0302-9743
3
PageRank 
References 
Authors
0.43
14
2
Name
Order
Citations
PageRank
Temesghen Kahsai122114.80
Markus Roggenbach229432.63