External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Automating Inference of OCL Constraints from Counterexamples and Examples

Duc-Hanh Dang, Jordi Cabot. On Automating Inference of OCL Constraints from Counterexamples and Examples. In Viet Ha Nguyen, Anh-Cuong Le, Van-Nam Huynh, editors, Knowledge and Systems Engineering - Proceedings of the Sixth International Conference KSE 2014, Hanoi, Vietnam, 9-11 October 2014. Volume 326 of Advances in Intelligent Systems and Computing, pages 219-231, Springer, 2014. [doi]

Authors

Duc-Hanh Dang

This author has not been identified. Look up 'Duc-Hanh Dang' in Google

Jordi Cabot

This author has not been identified. It may be one of the following persons: Look up 'Jordi Cabot' in Google
runs on