Output details
11 - Computer Science and Informatics
University of Surrey
Return to search
Output 0 of 0 in the submission
Article title
Changing system interfaces consistently: A new refinement strategy for
Type
D - Journal article
Title of journal
Science of Computer Programming
Article number
-
Volume number
76
Issue number
10
First page of article
837
ISSN of journal
01676423
Year of publication
2011
URL
-
Number of additional authors
-
Additional information
<10>This paper is an extended journal version of the paper of the same name presented at the Integrating Formal Methods 2009 conference. It provides, for the first time, a formal foundation of interface refinement in CSP||B. This is significant as it allows different levels of abstraction in development, and enables model checkers for CSP||B, such as ProB, to reduce the state space of the models under analysis, thereby extending their reach. This research now underpins a collaborative project with Invensys Rail which seeks improvements in the modelling of railway interlocking systems.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-