Output details
11 - Computer Science and Informatics
University of Surrey
Return to search
Output 0 of 0 in the submission
Article title
Applying CSP||B to Information Systems
Type
D - Journal article
Title of journal
Software & Systems Modeling
Article number
-
Volume number
7
Issue number
1
First page of article
85
ISSN of journal
1619-1374
Year of publication
2008
URL
-
Number of additional authors
-
Additional information
<10>Clearly separating the requirements of a system is common practice and found in IEEE standards for software engineering. Methods for supporting such separation are therefore significant in this discipline. The novelty of this paper is in the application of the CSP||B framework to a new domain, demonstrating broader applicability than the control domain it was originally developed for. CSP||B is a combined formal method enabling clear separation of system requirements, and its use here demonstrated a framework yielding clearer and more readable descriptions for Information Systems than the EB3 approach used previously.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
