年単位の研究成果
Fingerprint Hironori Washizakiが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。
- 20 同様のプロファイル
Software engineering
Engineering & Materials Science
Software reliability
Engineering & Materials Science
Industry
Engineering & Materials Science
Students
Engineering & Materials Science
programming
Social Sciences
Computer programming languages
Engineering & Materials Science
Testing
Engineering & Materials Science
Experiments
Engineering & Materials Science
ネットワーク
最近の共同研究。丸をクリックして詳細を確認しましょう。
研究成果 2001 2020
Body of Knowledge Model and Linked Data Applied in Development of Higher Education Curriculum
Quezada-Sarmiento, P. A., Enciso, L., Conde, L., Mayorga-Diaz, M. P., Guaigua-Vizcaino, M. E., Hernandez, W. & Washizaki, H., 2020 1 1, Advances in Computer Vision - Proceedings of the 2019 Computer Vision Conference CVC. Kapoor, S. & Arai, K. (版). Springer-Verlag, p. 758-773 16 p. (Advances in Intelligent Systems and Computing; 巻数 943).研究成果: Conference contribution
Curricula
Education
Semantic Web
Artificial intelligence
Visualization
Generating Linear Temporal Logics Based on Property Specification Templates
Luo, W., Washizaki, H. & Fukazawa, Y., 2020 1 1, Studies in Computational Intelligence. Springer-Verlag, p. 1-15 15 p. (Studies in Computational Intelligence; 巻数 850).研究成果: Chapter
Temporal logic
Specifications
Model checking
Visualization
An Empirical Study on the Reliability of the Web API Document
Hosono, M., Washizaki, H., Fukazawa, Y. & Honda, K., 2019 5 21, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 715-716 2 p. 8719480. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 巻数 2018-December).研究成果: Conference contribution
Application programming interfaces (API)
Software engineering
Internet
Specifications
Defects
A pattern language for knowledge handover when people transition
Ito, K., Yoder, J. W., Washizaki, H. & Fukazawa, Y., 2019 1 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, p. 183-209 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10600 LNCS).研究成果: Chapter
Pattern Language
Handover
Industry
Knowledge
Personnel
Applying gamification to motivate students to write high-quality code in programming assignments
Kasahara, R., Sakamoto, K., Washizaki, H. & Fukazawa, Y., 2019 7 2, ITiCSE 2019 - Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 92-98 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).研究成果: Conference contribution
公開
programming
Students
grading
student
Computer programming