A tool for visual and formal modelling of software designs
- Submitting institution
-
Birmingham City University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 11Z_OP_D0006
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2014.05.002
- Title of journal
- Science of Computer Programming
- Article number
- -
- First page
- 52
- Volume
- 98
- Issue
- 1
- ISSN
- 0167-6423
- Open access status
- Out of scope for open access requirements
- Month of publication
- -
- Year of publication
- 2015
- URL
-
https://www.sciencedirect.com/science/article/pii/S0167642314002305
- 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
-
-
- Research group(s)
-
-
- Citation count
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper proposes a tool to support the novel Visual Contract Language (VCL), which expresses software designs graphically. The tool acts as a gateway for the usage of VCL in education. VCL was taught in the module ‘Software Design’ of the BSc in Computer Science at Birmingham City University and is used for student dissertation. A total of 16 final year student projects and three masters dissertations (BCU and University of Luxembourg) have involved VCL, attesting to the value of tool and language in education. VCL inspired research project MaRCo which was granted funding by the Luxembourg research council.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -