%0 Conference Paper %1 conf/icse/UbayashiK12 %A Ubayashi, Naoyasu %A Kamei, Yasutaka %B MiSE %D 2012 %E Atlee, Joanne M. %E Baillargeon, Robert %E France, Robert B. %E Georg, Geri %E Moreira, Ana %E Rumpe, Bernhard %E Zschaler, Steffen %I IEEE Computer Society %K dblp %P 15-21 %T Verifiable architectural interface for supporting model-driven development with adequate abstraction level. %U http://dblp.uni-trier.de/db/conf/icse/mise2012.html#UbayashiK12 %@ 978-1-4673-1757-3

@inproceedings{conf/icse/UbayashiK12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ubayashi, Naoyasu and Kamei, Yasutaka}, biburl = {https://www.bibsonomy.org/bibtex/25850b1143c7f1142c85d41f5f08dd91d/dblp}, booktitle = {MiSE}, crossref = {conf/icse/2012mise}, editor = {Atlee, Joanne M. and Baillargeon, Robert and France, Robert B. and Georg, Geri and Moreira, Ana and Rumpe, Bernhard and Zschaler, Steffen}, ee = {http://dl.acm.org/citation.cfm?id=2664434}, interhash = {d10cc0833f65e61df4340cf083ab9a3e}, intrahash = {5850b1143c7f1142c85d41f5f08dd91d}, isbn = {978-1-4673-1757-3}, keywords = {dblp}, pages = {15-21}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:45:48.000+0200}, title = {Verifiable architectural interface for supporting model-driven development with adequate abstraction level.}, url = {http://dblp.uni-trier.de/db/conf/icse/mise2012.html#UbayashiK12}, year = 2012 }