On the Composability of Design Patterns
- Submitting institution
-
Oxford Brookes University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 185743318
- Type
- D - Journal article
- DOI
-
10.1109/TSE.2015.2445341
- Title of journal
- IEEE Transactions on Software Engineering
- Article number
- -
- First page
- 1138
- Volume
- 41
- Issue
- 11
- ISSN
- 0098-5589
- Open access status
- Out of scope for open access requirements
- Month of publication
- June
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 8
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper together with our previous works on the formalism for specifying software design patterns and the algebra of software design patterns form complete logic foundation for formal reasoning about software design and automatically proving their correctness with theorem provers. It is the foundation of recent work co-authored with our collaborator Dr. Dongmei Liu on specifying and proving the correctness of security designs. i.e.
Xiaoyu Zheng, Dongmei Liu, Hong Zhu and Ian Bayley, Pattern-based Approach to Model and Verify System Security, 14th IEEE International Conference on Service-Oriented System Engineering, Oxford, UK, April 13-16, 2020
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -