Verifying component and connector models against crosscutting structural views
- Submitting institution
-
The University of Leicester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1420
- Type
- E - Conference contribution
- DOI
-
10.1145/2568225.2568237
- Title of conference / published proceedings
- 36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014
- First page
- 95
- Volume
- -
- Issue
- 1
- ISSN
- 0270-5257
- Open access status
- Out of scope for open access requirements
- Month of publication
- -
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
https://doi.org/10.1145/2568225.2568237
- 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
-
2
- Research group(s)
-
-
- Citation count
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper has formally defined Component & Connector (C&C) views for specification and verification of C&C models – one of the most common software architecture modeling languages. The new techniques have led to a case study with an industrial partner at Daimler AG (MoDELS’17, https://doi.org/10.1109/MODELS.2017.29). Our verification method has been integrated into a software modeling and testing process at BMW Group (SPE, 2018 https://doi.org/10.1002/spe.2650). The work was the base for the author’s funding of 2 years as PostDoc (Minerva Fellowship, BMBF) and a funded collaboration between RWTH Aachen and Tel Aviv University (2 years, 2 PhD students, http://www.gif.org.il/pages/about/2014-submission-cycle---awarded-grants.aspx).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -