Software Design Laboratory
Correctly designing software to support the modern society
Today, computer software is embedded everywhere in society. Just as it is important to design visible buildings, it is essential to correctly design software, which is invisible. How can we design something that cannot be seen? How can we confirm if the software developed is the correct one? To find the answers to these questions, we study various methods to improve the quality of software that supports the modern society.

College of Design Engineering Department of Design Engineering Robotics and Information Design Course
/ Graduate School of Engineering and Science(Master's Program) Electrical Engineering and Computer Science Course
/ Graduate School of Engineering and Science(Doctor's Program) Functional Control Systems Course
- Faculty Name
- NODA, Natsuko
- Keyword
- Software,Modeling,Embedded systems
- Laboratory location
- Centennial Main Building TOYOSU Campus 6F 06H01
This lab is for this SDG activity:
STUDY FIELDS
- Engineering and design
- Informatics
- Information engineering
FOR SOCIETY
Our research results will be used to develop tools and methods to design software that will be embedded in various electrical appliances and vehicles as well as software that commands systems for business operations.
RESEARCH THEMES
- Research on verification through the inspection of software design models
- Research on the modeling of variability and its verification methods
- Research on the modeling methods of aspect-oriented embedded software