{"_id":"Jbu2wYJhkHKH9EAGg","bibbaseid":"yihai-transformationumlclassdiagramswithoclconstraintsintoobjectzformalspecificationj-2007","author_short":["Yi-Hai, M. H. C."],"bibdata":{"bibtype":"article","type":"article","title":"Transformation UML Class Diagrams with OCL Constraints into Object-Z Formal Specification [J]","volume":"1","journal":"Computer Science","author":[{"propositions":[],"lastnames":["Yi-Hai"],"firstnames":["MIAO","Huai-Kou","CHEN"],"suffixes":[]}],"year":"2007","keywords":"⛔ No DOI found","bibtex":"@article{yi-hai_transformation_2007,\n\ttitle = {Transformation {UML} {Class} {Diagrams} with {OCL} {Constraints} into {Object}-{Z} {Formal} {Specification} [{J}]},\n\tvolume = {1},\n\tjournal = {Computer Science},\n\tauthor = {Yi-Hai, MIAO Huai-Kou CHEN},\n\tyear = {2007},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Yi-Hai, M. H. C."],"key":"yi-hai_transformation_2007","id":"yi-hai_transformation_2007","bibbaseid":"yihai-transformationumlclassdiagramswithoclconstraintsintoobjectzformalspecificationj-2007","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["transformation","uml","class","diagrams","ocl","constraints","object","formal","specification","yi-hai"],"title":"Transformation UML Class Diagrams with OCL Constraints into Object-Z Formal Specification [J]","year":2007}