«

»

Correct-by-construction model composition: Application to the Invasive Software Composition method

by Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
Reference:
Correct-by-construction model composition: Application to the Invasive Software Composition method (Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux), In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014) (Barbora Buhnova, Lucia Happe, Jan Kofron, eds.), volume 147, 2014.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/HamiazPCT14,
	Author = {Mounira Kezadri Hamiaz and Marc Pantel and Beno^{i}t Combemale and Xavier Thirioux},
	Booktitle = {11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014)},
	Editor = {Barbora Buhnova and Lucia Happe and Jan Kofron},
	Ee = {http://dx.doi.org/10.4204/EPTCS.147.8},
	Pages = {108-122},
	Series = {EPTCS},
	Title = {Correct-by-construction model composition: Application to the Invasive Software Composition method},
	Volume = {147},
	Year = {2014}}