Hisashi Miyazaki

Hisashi Miyazaki

Nippon Bunri University - Oita / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 5787439
日本文理大学
person_outline Hisashi Miyazaki's MOST POPULAR ARTICLES
1-) Model checking consistency of UML diagrams using AlloyA Nimiya, T Yokogawa, H Miyazaki, S Amasaki, Y Sato, M HayaseInternational Journal of Computer and Information Engineering 4 (11), 1696-1699, 2010112010
2-) Synthesis and refinement check of sequence diagramsH Miyazaki, T Yokogawa, S Amasaki, K Asada, Y SatoIEICE transactions on Information and Systems 95 (9), 2193-2201, 201292012
3-) 自閉症スペクトラム障害児の感覚特性に着目した家族支援森戸雅子， 小田桐早苗， 岩藤百香， 三上史哲， 宮崎仁， 難波知子， ...川崎医療福祉学会誌 27 (1), 13-25, 201762017
4-) Consistency verification of UML diagrams based on process bisimulationT Yokogawa, S Amasaki, K Okazaki, Y Sato, K Arimoto, H Miyazaki2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing …, 201362013
5-) Development of YOUSAY the information sharing system for families of children with autism spectrum disorderH MIYAZAKI, F MIKAMI, M IWADO, S ODAGIRI, T NAMBA, Y TAKEI, ...Kawasaki journal of medical welfare 24 (1), 33-42, 201842018