Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hongyue He
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
Related publications
Model Checking Timed UML State Machines and Collaborations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Validation Technique for UML Activity Model
International Journal of Computer Applications
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Journal of Applied Mathematics
Applied Mathematics
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
Software
Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Representing Verbal Semantics With Diagrams an Adaptation of the UML for Lexical Semantics
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Complexity Assessment Based on UML-Activity Diagram
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
Ontology-Based Exchange of Product Data Semantics Between CAD and CAE
International Journal of Multimedia and Ubiquitous Engineering
Computer Science
