Dang, Duc Hanh and Cabot, Jordi (2014) On Automating Inference of OCL Constraints from Counterexamples and Examples. In: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014), 9-11 October 2014, Hanoi, Vietnam.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/978-3-319-11680-8_18
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Prof. Xuan-Tu Tran |
| Date Deposited: | 07 Jan 2015 07:35 |
| Last Modified: | 09 Aug 2016 03:14 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/441 |
Actions (login required)
 |
View Item |
