%0 Conference Paper %1 shaikh_verification-driven_2010 %A Shaikh, Asadullah %A Clarisó, Robert %A Wiil, Uffe Kock %A Memon, Nasrullah %B Proceedings of the IEEE/ACM international conference on Automated software engineering %C New York, NY, USA %D 2010 %I ACM %K formal model ocl; slicing; verification; {MDD}; {UML} %P 185--194 %R 10.1145/1858996.1859038 %T Verification-driven slicing of UML/OCL models %U http://0-doi.acm.org.innopac.up.ac.za/10.1145/1858996.1859038 %@ 978-1-4503-0116-9

@inproceedings{shaikh_verification-driven_2010, added-at = {2013-02-28T11:13:35.000+0100}, address = {New York, {NY}, {USA}}, author = {Shaikh, Asadullah and Claris{\'o}, Robert and Wiil, Uffe Kock and Memon, Nasrullah}, biburl = {https://www.bibsonomy.org/bibtex/2da30256416e512e4067f09f6f893b14f/fritzsolms}, booktitle = {{Proceedings of the {IEEE/ACM} international conference on Automated software engineering}}, doi = {10.1145/1858996.1859038}, interhash = {df832af3f036aa2081019ebb5865a6bb}, intrahash = {da30256416e512e4067f09f6f893b14f}, isbn = {978-1-4503-0116-9}, keywords = {formal model ocl; slicing; verification; {MDD}; {UML}}, location = {Antwerp, Belgium}, pages = {185--194}, publisher = {{ACM}}, series = {{{ASE} '10}}, timestamp = {2013-02-28T11:14:08.000+0100}, title = {{Verification-driven slicing of {UML/OCL} models}}, url = {http://0-doi.acm.org.innopac.up.ac.za/10.1145/1858996.1859038}, year = 2010 }