Large-scale system development using abstract data types and refinement
- Submitting institution
-
University of Southampton
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 35521579
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2016.04.010
- Title of journal
- Science of Computer Programming
- Article number
- -
- First page
- 59
- Volume
- 131
- Issue
- -
- ISSN
- 0167-6423
- Open access status
- Compliant
- Month of publication
- May
- Year of publication
- 2016
- 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
-
4
- Research group(s)
-
-
- Citation count
- 3
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper provides a framework for developing industrial large-scale systems allowing the models to be gradually developed in a consistent manner, using a combination of abstract data types and refinement technique. A significant industrial case study was used to illustrate the framework. The paper is a core result of a collaboration with Hitachi Ltd. (Japan) under the project “Formal Methods for Secure Railway Operation” (funded by Hitachi). The result of the project led to a Japanese Patent No.6084706 (2017). The paper extends the work published at ABZ2014 (https://link.springer.com/chapter/10.1007%2F978-3-662-43652-3_20).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -