MURAL - Maynooth University Research Archive Library



    Items where Author is "Wu, Hao"


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

    Article

    Wu, Hao and Monahan, Rosemary and Power, James F. (2010) Test Case Generation for Programming Language Metamodels. Proceedings of the Third International Conference, SLE 2010. ISSN 978-3-642-19439-9

    Wu, Hao and Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. Proceedings of the 2nd International Workshop on Model Transformation with ATL. pp. 60-64. ISSN 1613-0073

    Book Section

    Wu, Hao (2019) Synthesising Call Sequences from OCL Operational Contracts. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, New York, United States, pp. 1871-1873. ISBN 9781450359337

    Gannud, Hussein and Wu, Hao and Timoney, Joseph (2017) Applying a MDE approach to a healthcare environment: A case study of an AE dept. In: 2017 28th Irish Signals and Systems Conference (ISSC). Institute of Electrical and Electronic Engineers, Red Hook, NY, USA. ISBN 978-1-5386-1046-6

    Wu, Hao (2017) Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. In: Modelling Foundations and Applications : Proceedings. Lecture Notes in Computer Science (10376). Springer, Cham, Switzerland, pp. 179-196. ISBN 978-3-319-61481-6

    Wu, Hao (2017) MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. In: Integrated Formal Methods : Proceedings. Lecture Notes in Computer Science (10510). Springer, Cham, Switzerland, pp. 348-356. ISBN 978-3-319-66844-4

    Wu, Hao (2017) Step 0: An Idea for Automatic OCL Benchmark Generation. In: Software Technologies: Applications and Foundations : Revised Selected Papers. Lecture Notes in Computer Science (10748). Springer, Cham, Switzerland, pp. 356-364. ISBN 978-3-319-74729-3

    Wu, Hao and Monahan, Rosemary and Power, James F. (2013) Exploiting attributed type graphs to generate metamodel instances using an SMT solver. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), 2013. IEEE, pp. 175-182. ISBN 9780768550534

    Conference or Workshop Item

    Wu, Hao and Hinsberger, Laure and Timoney, Joseph (2018) A workflow for healthcare systems via OCL and SMT solving: Short paper. In: SEHS'18, 27 May 2018, Gothenburg, Sweden.

    Wu, Hao and Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. In: 2nd International Workshop on Model Transformation with ATL (MtATL), June 30th 2010, Malaga, Spain . (Unpublished)

    Thesis

    Wu, Hao (2013) Automated Metamodel Instance Generation Satisfying Quantitative Constraints. PhD thesis, National University of Ireland Maynooth.

    This list was generated on Wed Aug 4 23:15:01 2021 UTC.