@inproceedings{dd9c9dad3a0346ecada6abda2ccfe072,
title = "Model-driven design of object and component systems",
keywords = "Component-based architecture, Contracts, Design patterns, Interfaces, Object-oriented design, RCOS, UML",
author = "Zhiming Liu and Xiaohong Chen",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 1st International School on Engineering Trustworthy Software Systems, SETSS 2014 ; Conference date: 08-09-2014 Through 13-09-2014",
year = "2016",
doi = "10.1007/978-3-319-29628-9_4",
language = "English",
isbn = "9783319296272",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "152--255",
editor = "Zhiming Liu and Zili Zhang",
booktitle = "Engineering Trustworthy Software Systems - 1st International School, SETSS 2014, Tutorial Lectures",
}