Verifying component and connector models against crosscutting structural views-Reference-Cited by-同舟云学术

Verifying component and connector models against crosscutting structural views

Published:2014-05-31 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 36th International Conference on Software Engineering
language:
Short-container-title:

Author:

Maoz Shahar¹,Ringert Jan Oliver²,Rumpe Bernhard²

Affiliation:

1. Tel Aviv University, Israel

2. RWTH Aachen University, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2568225.2568237

Reference29 articles.

1. AutoFocus3 website. http://autofocus.informatik.tu-muenchen.de/. Accessed 8/2013. AutoFocus3 website. http://autofocus.informatik.tu-muenchen.de/. Accessed 8/2013.

2. MontiArc website. http://www.monticore.de/languages/montiarc/. MontiArc website. http://www.monticore.de/languages/montiarc/.

3. Supporting materials on C&C views verification. http://www.se-rwth.de/materials/cncviews/. Supporting materials on C&C views verification. http://www.se-rwth.de/materials/cncviews/.

4. AADL website. http://www.aadl.info/. Accessed 8/2013. AADL website. http://www.aadl.info/. Accessed 8/2013.

5. Differencing and merging of architectural views

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A language agnostic approach to modeling requirements;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16

2. Innovations in Model-based Software And Systems Engineering.;The Journal of Object Technology;2019

3. Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions;Science of Computer Programming;2018-12

4. SMArDT modeling for automotive software testing;Software: Practice and Experience;2018-10-26

5. Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures;Lecture Notes in Computer Science;2018