We live surrounded by the so-called Internet of Things (IoT), not only smartphones but also smart speakers, home automation devices, etc. We get services provided by software in various ways. Automobiles are also made of enormous software. Developing software efficiently, conveniently, and safely is impossible without using engineering methods such as UML-based development methodologies. In this laboratory, we are conducting research to develop software efficiently and with high quality.