Verifying component and connector models against crosscutting structural views

@inproceedings{Maoz2014VerifyingCA,
  title={Verifying component and connector models against crosscutting structural views},
  author={Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe},
  booktitle={ICSE},
  year={2014}
}
The structure of component and connector (C&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors between them. C&C views, which we have presented at FSE'13, can be used to specify structural properties of C&C models in an… CONTINUE READING