Teaching Formal Methods using Scaffolding: A Semi-automated Translation Process from UML Classes to Schemas

dc.contributor.author	Mohanarajah, Selvarajah
dc.contributor.author	Sritharan, Thambithurai
dc.date.accessioned	2019-03-27T05:03:16Z
dc.date.available	2019-03-27T05:03:16Z
dc.date.issued	2016
dc.identifier.issn	1391-586X
dc.identifier.uri	http://www.digital.lib.esn.ac.lk/handle/123456789/2312
dc.language.iso	en	en_US
dc.publisher	Eastern University, Sri Lanka	en_US
dc.subject	Formal Methods	en_US
dc.subject	Object-Z	en_US
dc.subject	Computer based Learning Systems	en_US
dc.title	Teaching Formal Methods using Scaffolding: A Semi-automated Translation Process from UML Classes to Schemas	en_US
dc.type	Article	en_US
dc.identifier.sslno	7.2	en_US