There has been a decline in the number of cases where software is made from scratch. Instead, software is increasingly made using existing major software (maintained by a small number of people) or by combining open source software and software already available on the market. As a result, new types of systems, such as those using machine-to-machine/IoT technologies fusing embedded and information systems, have been introduced. We conduct research on technologies to develop software, which is becoming ever diversifying and complicated, by analyzing requirements efficiently and at high quality as well as designing, building, and verifying software.