MURAL - Maynooth University Research Archive Library



    Items where Author is "Cheng, Zheng"


    Up a level
    Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
    Group by: Item Type | No Grouping
    Number of items: 6.

    Article

    Cheng, Zheng and Monahan, Rosemary and Power, James F. (2012) A Simple Complexity Measurement for Software Verification and Software Testing. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873. pp. 28-331. ISSN 1613-0073

    Book Section

    Cheng, Zheng and Monahan, Rosemary and Power, James F. (2015) A Sound Execution Semantics for ATL via Translation Validation. In: ICMT 2015: Theory and Practice of Model Transformations. Lecture Notes in Computer Science book series (LNCS) (9152). Springer, pp. 133-148. ISBN 9783319211541

    Conference or Workshop Item

    Cheng, Zheng and Monahan, Rosemary and Power, James F. (2016) Verifying SimpleGT Transformations Using an Intermediate Verification Language. In: 4th International Workshop on the Verification Of Model Transformations, Jully 2015, L'Aquila, Italy.

    Cheng, Zheng and Monahan, Rosemary and Mooney, Aidan (2011) nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle. In: International Conference on Engaging Pedagogies, December 16 2011, Dublin. (Unpublished)

    Thesis

    Cheng, Zheng (2016) Formal Verification of Relational Model Transformations using an Intermediate Verification Language. PhD thesis, National University of Ireland Maynooth.

    Cheng, Zheng (2011) nExaminer: A Semi-automated Assignment Assessment Framework for Moodle. Masters thesis, National University of Ireland Maynooth.

    This list was generated on Thu Sep 19 22:18:20 2019 UTC.