Evaluating different processes of translating OCL to PVS using model transformation

Ab Rahim, Lukman (2008) Evaluating different processes of translating OCL to PVS using model transformation. In: Information Technology, 2008. ITSim 2008. International Symposium on.

Item Type:	Conference or Workshop Item (Paper)
Uncontrolled Keywords:	formal specification language;higher-order logic;model transformation;model-to-text transformation;object constraint language;prototype verification system;theorem prover;Unified Modeling Language;formal languages;formal specification;formal verification;
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments / MOR / COE:	Departments > Computer Information Sciences
Depositing User:	Lukman A Rahim
Date Deposited:	12 Sep 2012 01:13
Last Modified:	19 Jan 2017 08:26
URI:	http://scholars.utp.edu.my/id/eprint/8048

Actions (login required)

View Item