Natsuko Noda

J-GLOBAL         Last updated: Apr 26, 2018 at 17:13
 
Avatar
Name
Natsuko Noda
Affiliation
Shibaura Institute of Technology
Section
College of Engineering and Design

Research Areas

 
 

Academic & Professional Experience

 
Apr 2013
   
 
Associate Professor, College of Engineering and Design, Shibaura Inwtitute of Technology
 

Education

 
 
 - 
Sep 2008
School of Information Science, Japan Advanced Institute of Science and Technology
 

Published Papers

 
Shin'ichi Fukuzumi,Natsuko Noda,Yukiko Tanikawa
1st IEEE/ACM International Workshop on Design and Innovation in Software Engineering, DISE@ICSE 2017, Buenos Aires, Argentina, May 23, 2017   13-16   2017   [Refereed]
Library for Gymnastic Exercises Application of Pepper
Yuji Akutsu, Natsuko Noda
2016 64-72   Oct 2016   [Refereed]
Shintaro Hosoai,Natsuko Noda,Tomoji Kishi
23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016   389-392   2016   [Refereed]
岸 知二, 川嶋 優樹, 野田 夏子
ソフトウェアエンジニアリングシンポジウム2014論文集   2014 152-157   Aug 2014   [Refereed]
NODA Natsuko, KISHI Tomoji
Computer Software   31(4) 4_66-4_76   2014   [Refereed]
In software product-line development (SPLD), variability management plays an essential role, and multiple variability modeling methods have been proposed. Along with gradual acceptance of SPLD and diversifications of the usage of variability model...
NODA Natsuko, KISHI Tomoji
Computer Software   30(3) 3_3-3_17   2013   [Refereed]
Software product line development (SPLD) is the development in that assets are systematically reused and therefore software can be efficiently developed. However, verification cost can easily increase in software development. Hence, the verificati...
KISHI TOMOJI, NODA NATSUKO
情報処理学会シンポジウム論文集   2012(1) 125-127   Jan 2012   [Refereed]
KISHI TOMOJI, NODA NATSUKO
情報処理学会シンポジウム論文集   2011(2) 135-136   Jan 2011   [Refereed]
Kosuke Ono,Yoichi Hirai,Yoshinori Tanabe,Natsuko Noda,Masami Hagiya
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings   350-365   2011   [Refereed]
NODA NATSUKO
情報処理学会シンポジウム論文集   2010(3) 161-162   Jan 2010   [Refereed]
Natsuko Noda,Tomoji Kishi
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)   191-192   2010   [Refereed]
NODA NATSUKO, KISHI TOMOJI
情報処理学会シンポジウム論文集   2008(3) 11-12   Jan 2008   [Refereed]
Natsuko Noda,Tomoji Kishi
Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings   213-222   2008   [Refereed]
Natsuko Noda,Tomoji Kishi
Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, Proceedings. Second Volume (Workshops)   147-148   2007   [Refereed]
Natsuko Noda,Tomoji Kishi
14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan   342-349   2007   [Refereed]
KISHI TOMOJI, NODA NATSUKO
情報処理学会シンポジウム論文集   2006(9) 50-57   Oct 2006   [Refereed]
Tomoji Kishi,Natsuko Noda
Commun. ACM   49(12) 73-77   2006   [Refereed]
Tomoji Kishi,Natsuko Noda,Takuya Katayama
Software Product Lines, 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings   150-161   2005   [Refereed]
Tomoji Kishi,Toshiaki Aoki,Shin Nakajima,Natsuko Noda,Takuya Katayama
2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (WSTFEUS 2004), 11-12 May 2004, Vienna, Austria   144-148   2004   [Refereed]
KISHI TOMOJI, NODA NATSUKO
情報処理学会シンポジウム論文集   2003(13) 22-29   Oct 2003   [Refereed]

Misc

 
岸知二, 野田夏子
情報処理学会研究報告(Web)   2017(SE-197) Vol.2017‐SE‐197,No.10,1‐5 (WEB ONLY)   Nov 2017
鵜林 尚靖, 丸山 勝久, 青山 幹雄, 野田 夏子
情報処理   58(8) 670-671   Jul 2017
紫合 治, 鵜林 尚靖, 丸山 勝久, 青山 幹雄, 野田 夏子
情報処理   58(8) 672-679   Jul 2017
本対談では,ソフトウェア工学研究会発足時から現在に至るまで長年にわたって研究会に貢献されてきた紫合先生を囲んで,日本におけるソフトウェア工学の発展過程,情報処理学会が果たしてきた役割,これからのソフトウェア工学研究のあり方について対談する.
野田 夏子, 岸 知二
情報処理   58(8) 690-692   Jul 2017
現在,さまざまなものがソフトウェアで定義されるようになり,従来はソフトウェアの外側にあるものと捉えられてきたストレージやネットワークまでもが,ソフトウェア的な見方で捉えられコントロールされるようになってきた.また,複数の独立したシステムを接続して1つのシステムとするシステム・オブ・システムズも増えている.このような変化の中で,ソフトウェアモデリングの性格や要件も多様化してきている.本稿では,これからのソフトウェアモデリングの課題を考察するとともに,ソフトウェアモデリングの本質を論じる.
木間塚達, 野田夏子
情報処理学会研究報告(Web)   2017(SE-195) Vol.2017‐SE‐195,No.13,1‐9 (WEB ONLY)   Mar 2017
杉田郁人, 野田夏子
情報処理学会研究報告(Web)   2017(SE-195) Vol.2017‐SE‐195,No.14,1‐8 (WEB ONLY)   Mar 2017
NODA Natsuko, TANAKA Minami, NAITO Kazumi, MATSUURA Saeko
Proceedings of Annual Conference of Japanese Society for Engineering Education   2017(0) 288-289   2017
TAKAHASHI GO, NODA NATSUKO
情報処理学会全国大会講演論文集   77th(1) 1.341-1.342   Mar 2015
野田夏子, 岸知二
情報処理学会研究報告(Web)   2016(SE-191) VOL.2016‐SE‐191,NO.27 (WEB ONLY)   Mar 2016
William L. Honig,Natsuko Noda,Shingo Takada
ACM SIGSOFT Software Engineering Notes   41(4) 1-5   2016   [Refereed]
野田 夏子
情報処理   56(8) 812-812   Jul 2015
野田夏子, 岸知二
芝浦工業大学特別教育・研究報告集(CD-ROM)   2014 226-229   Jun 2015
Tomoji Kishi, Shouta Miyazato, Natsuko Noda
IPSJ SIG Notes   2014(15) 1-7   Nov 2014
Advanced use of software modeling such as those in product-line development, model-based development, and formal verification require large, complicated, precise and consistent models. As a result, the cost of model development and maintenance are...
Natsuko Noda, Tomoji Kishi
IPSJ SIG Notes   2014(17) 1-3   Nov 2014
Software architecture is very important for software itself and development of software. However, designing of software architecture is getting more and more difficult, because of scalability of software and agility of software development. We are...
KISHI Tomoji, NODA Natsuko
IPSJ Magazine   55(10) 1058-1059   Sep 2014
UBAYASHI Naoyasu, NODA Natsuko, TAKIZAWA Youzou, MATSUMOTO Akira
IPSJ Magazine   55(10) 1069-1072   Sep 2014
本稿は,本会ソフトウェア工学研究会主催ウィンターワークショップ2014(茨城県大洗町,2014年1月23日,24日)の「ソフトウェア工学の研究評価と共通問題」セッション参加者によるショートエッセイ集である.参加者の中には,教育・研究者だけでなく,現役の学生も含まれている.ソフトウェア工学研究における評価の難しさ,ソフトウェア考現学のすすめ,教育視点からみた共通問題のあり方,など参加者のそれぞれの想いをオムニバス形式で執筆した.
NODA NATSUKO, KATAOKA YOSHIO
情報処理   54(9) 882-885   Aug 2013
SHIGO Osamu, AOYAMA Mikio, UBAYASHI Naoyasu, NODA Natsuko, KISHI Tomoji
IPSJ Magazine   55(10) 1073-1079   Sep 2014
野田 夏子, 細合 晋太郎
ソフトウェアエンジニアリングシンポジウム2014論文集   2014 217-217   Aug 2014
Keisuke Tahara, Natsuko Noda
IPSJ SIG Notes   2014(3) 1-8   Mar 2014
This paper proposes a systematic approach to derive a feature model of a software product line from use cases of the members of the product line. In software product line development, feature model is used to represent commonality and variability....
Tomoji Kishi, Yuzo Ishida, Yuji Sakata, Tsuneo Nakanishi, Natsuko Noda, Makoto Nonaka, Yoshikazu Hayashi, Kenji Hisazumi, Kazuyuki Yamauchi, Kentarou Yoshimura, Hironori Washizaki
IPSJ SIG Notes   2013(32) 1-3   Oct 2013
We report on the 17th Software Product Line Conference was held in Tokyo, Japan.
岸 知二, 野田 夏子
情報処理   54(9) 876-877   Aug 2013
Natsuko Noda, Kozo Okano, Kouji Hayamizu, Koji Toda, Hidetake Uwano, Takashi Ishio, Shinpei Hayashi, Toshihiko Tsumaki, Masahide Nakamura, Tomoji Kishi, Masanari Motohashi, Hironori Washizaki
IPSJ SIG Notes   2013(11) 1-8   Jul 2013
IPSJ Special Interest Group of Software Engineering (SIGSE) holds a workshop focusing on deep discussion among participants once a year. In the fiscal year of 2012, we had a workshop in Nasu, Tochigi prefecture, January 2013. We had a deep discuss...
Goetz Botterweck,Deepak Dhungana,Natsuko Noda,Rick Rabiser,Hironori Washizaki
17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013   268   2013   [Refereed]
MARUYAMA KATSUHISA, OMORI TAKAYUKI, IGAKI HIROSHI, NAKAMURA MASAHIDE, FUSHIDA KYOHEI, TSUNODA MASATERU, KAZATO HIROSHI, OKADA JOJI, OKANO KOZO, SAKAMOTO KAZUNORI, MOTOHASHI MASANARI, KISHI TOMOJI, NODA NATSUKO, KOBAYASHI TAKASHI, HAYASHI SHIMPEI
電子情報通信学会技術研究報告   112(275(SS2012 36-45)) 67-74   Oct 2012
NODA NATSUKO, KISHI TOMOJI
情報処理学会全国大会講演論文集   74th(1) 1.295-1.296-297   Mar 2012
野田 夏子, 石田 裕三, 岸 知二, 野中 誠, 吉村 健太郎
研究報告ソフトウェア工学(SE)   2011(11) 1-8   Oct 2011
筆者らは、2011 年 8 月にドイツ・ミュンヘンにて開催された 15th International Software Product Line Conference (SPLC2011) に参加した。本稿は、その参加報告である。We attended 15th International Software Product Line Conference (SPLC2011) held inMunich in August, 2011. In this paper, we report ...
飯島 正, 大森 隆行, 桑原 寛明, 位野木 万里, 中村 匡秀, 羽生田 栄一, 鷲崎 弘宜, 天嵜 聡介, 石黒 正揮, 佐原 伸, 土屋 達弘, 岸 知二, 野田 夏子
研究報告ソフトウェア工学(SE)   2011(11) 1-9   Jul 2011
2011 年 1 月 20 日,21 日の 2 日間に伊豆・修善寺のラフォーレ修善寺にて開催したウィンターワークショップ 2011・イン・修善寺 (WW2011) の概要について報告するThis paper reports on "Winter Workshop 2011 in Shuzenji(ww2011)" held at LAFORET SHUZENJI HOTEL in Izu City, Shizuoka Prefecture from 20th to 21st January...
Goetz Botterweck,Natsuko Noda,Deepak Dhungana,Rick Rabiser,Muhammad Ali Babar,Sholom Cohen,Kyo Chul Kang,Tomoji Kishi
Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011   340   2011   [Refereed]
野田 夏子
研究報告ソフトウェア工学(SE)   2010(16) 1-8   Nov 2010
巨大化・複雑化するソフトウェアの信頼性向上のために,形式手法を活用することが注目されている.形式手法をソフトウェア開発の現場で実適用するためには,形式手法をソフトウェア開発の中でどのように位置づけていくかというソフトウェア工学面からの検討が不可欠である.我々は,設計検証に形式手法,特にモデル検査を活用することを検討しているが,モデル検査による設計検証をより幅広く行うためには設計モデルを構築するための手法や環境の整備が必要になると考えている.本稿では,こうした手法や環境の整備のために,UML...
Yakuwa Yutaka, Noda Natsuko
情報科学技術フォーラム講演論文集   9(1) 309-310   Aug 2010
Muhammad Ali Babar,Sholom Cohen,Kyo Chul Kang,Tomoji Kishi,Frank van der Linden 0001,Natsuko Noda,Klaus Pohl
Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings   529   2010   [Refereed]
岸 知二, 鵜林 尚靖, 野田 夏子
情報処理学会研究報告   2009(4) 1-8   Dec 2009
NODA Natsuko
IPSJ Magazine   50(4) 274-279   Apr 2009
プロダクトライン開発では,可変性,つまりプロダクトラインに含まれるプロダクトの機能や品質特性等のバリエーションを,明確に捉え,そのバリエーションがソフトウェアとしてどのように実現されるかの対応を管理することが非常に重要である.このようなプロダクトラインの可変性管理のための技術について,中心となる可変性のモデル化とそれを踏まえたアーキテクチャ設計について解説する.
Xiang Jianwen, Noda Natsuko
IPSJ SIG Notes   2008(112) 1-8   Nov 2008
A comparative study on several industrial applications with formal specifications is presented. These applications have been reported independently elsewhere before, while the comparative study is to further show some common experiences and lesson...
KISHI TOMOJI, NODA NATSUKO
情報処理学会全国大会講演論文集   70th(5) 5.315-5.316   Mar 2008
KISHI TOMOJI, NODA NATSUKO
情報処理学会シンポジウム論文集   2008(3) 13-14   Jan 2008
KISHI TOMOJI, NONAKA MAKOTO, AOKI TOSHIAKI, YOSHIMURA KENTAROU, NODA NATSUKO
IPSJ SIG Notes   2007(107) 63-68   Nov 2007
This paper reports the 11th International Software Product Line Conference (SPLC2007), held in September 2007 in Kyoto. There were variety of presentations from basic researches to applications and experiences, and the conference provided practiti...
An Aspect-Oriented Modeling Mechanism Based on State Diagrams
Natsuko Noda, Tomoji Kishi
9th International Workshop on Aspect-Oriented Modeling(AOM)      Oct 2006   [Refereed]
KISHI TOMOJI, NODA NATSUKO
IPSJ SIG Notes   2005(119) 9-16   Nov 2005
In applying model checking techniques to software architectural design verification, there occur some problems, such as mismatch between design model and verification model in its strictness and preciseness. In this paper, we propose a method for ...
NODA NATSUKO, KISHI TOMOJI
IPSJ SIG Notes   2004(118) 41-46   Nov 2004
Aspect-oriented software development (AOSD) is now getting to be applied, in which we use aspect as a new mechanism to modularize various concerns. We are examining to apply aspect-orientation to software design. In this paper, we introduce an asp...
KISHI TOMOJI, AOKI TOSIHAKI, NAKAJIMA SHIN, NODA NATSUKO, KATAYAMA TAKUYA
IPSJ SIG Notes   2004(118) 47-54   Nov 2004
The highly-reliable object-oriented embedded software design project is an industryuniversity joint research project launched in 2003. The target of this five-year project is to develop the method and environment for highly-reliable embedded softw...
Design Testing for Product Line Development based on Test Scenarios
Tomoji Kishi, Natsuko Noda
Proceedings of the International Workshop on Software Product Line Testing SPLiT 2004   19-26   Aug 2004   [Refereed]
KISHI TOMOJI, NODA NATSUKO
情報処理学会OOシンポジウム   2003 247-250   Sep 2003
KISHI TOMOJI, NODA NATSUKO
IPSJ SIG Notes   2002(92) 1-6   Oct 2002
In product-line development, it is important to manage variability. In this paper, we categorize the causes of variability in embedded field and examine the techniques to manage them, We make a case study to demonstrate how the techniques influenc...
KISHI TOMOJI, NODA NATSUKO, KATAYAMA TAKUYA
IPSJ SIG Notes   2002(64) 113-120   Jul 2002
In order to develop a prduct-line effectively. it is desired to design the product-line architecture for products in the product-line, and develop reusabic assets based on the architecture. In such a product-line development, it is important to de...
NODA NATSUKO, KISHI TOMOJI
IPSJ SIG Notes   2002(64) 121-128   Jul 2002
The importance of software architecture is now widely realized. From this reason, as well as the research of software architecture is becoming active, the utilization of software architecture in the real developments is also increasing. To make go...
Aspect-Oriented Analysis for Arichitectural Design
Tomoji Kishi, Natsuko Noda
4th International Workshop on Principles of Software Evolution(IWPSE)   126-129   Sep 2001   [Refereed]
KISHI TOMOJI, NODA NATSUKO
情報処理学会シンポジウム論文集   99(11) 39-42   Sep 1999
Noda Natsuko, Kishi Tomoji
IPSJ SIG Notes   99(37) 35-42   May 1999
It is difficult to design software to meat its goal on quality attributes. One of the typical methods is to analyze/design software from functional aspect first, and then to modify or tune up the structure in order to meet required quality attribu...
Software Design based on Architecture Conformance
Tomoji Kishi, Natsuko Noda
The First Working IFIP Conference on Software Architecture(WICSA1)      Feb 1999   [Refereed]
An Architechitectural Approach to Performance Issues - from Experiences in the Development of Network
Natsuko Noda, Tomoji Kishi
The First Working IFIP Conference on Software Architecture(WICSA1)      Feb 1999   [Refereed]
NODA NATSUKO
情報処理学会シンポジウム論文集   99(1) 13-14   Jan 1999
Tomoji Kishi,Natsuko Noda
Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings   200-201   1999   [Refereed]
Noda Natsuko, Kishi Tomoji
IPSJ SIG Notes   98(64) 109-116   Jul 1998
Non-functional properties such as performance or reliability are determined by many factors, and we can hardly understand the relationships between these factors and the properties. Instead of completely understand the nature of non-functional pro...
Kishi Tomoji, Noda Natsuko
IPSJ SIG Notes   98(64) 117-124   Jul 1998
Non-functional properties such as performance or reliability are determined by many factors, and we can hardly understand the relationships between these factors and the properties. Instead of completely understand the nature of non-functional pro...
Kishi Tomoji, Noda Natsuko
IPSJ SIG Notes   97(74) 81-84   Jul 1997
In this paper, we will show the definition and the significance of software architecture, and argue why software architecture is widely noticed now.
前川 佳春, 野田 夏子, 池田 健次郎, 岸 知二
全国大会講演論文集   52(0) 89-90   Mar 1996
分散システムが様々な領域で重要になっている。そのベースとしてORBのような分散オブジェクト基盤が注目/利用されている。しかしながらオブジェクトの配置などに起因する性能問題を考慮しながら、オブジェクトの協調動作を設計することは必ずしも容易ではない。本稿ではそうした問題を改善するための開発アプローチや支援環境について提案する。
IKEDA KENJIRO, MAEGAWA YOSHIHARU, NODA NATSUKO, KISHI TOMOJI
情報処理学会シンポジウム論文集   95(3) 197-204   Jun 1995   [Refereed]
NODA NATSUKO, MAEKAWA YOSHIHARU, KISHI TOMOJI
情報処理学会全国大会講演論文集   50th(5) 5.125-5.126   Mar 1995
KISHI TOMOJI, MAEGAWA YOSHIHARU, IKEDA KENJIRO, NODA NATSUKO
情報処理学会全国大会講演論文集   49th(5) 5.241-5.242   Sep 1994
NODA NATSUKO, MAEGAWA YOSHIHARU, KISHI TOMOJI
情報処理学会全国大会講演論文集   49th(5) 5.243-5.244   Sep 1994
KISHI TOMOJI, MAEGAWA YOSHIHARU, IKEDA KENJIRO, NODA NATSUKO
情報処理学会研究報告   94(55(SE-99)) 121-128   Jul 1994
KISHI TOMOJI, KOBAYASHI ATSUSHI, IKEDA KENJIRO, YAMASHITA TOMOCHIKA, NODA NATSUKO
NEC技報   47(6) 25-29   Jul 1994

Books etc

 
岸 知二, 野田 夏子 (Part:Joint Work)
近代科学社   Aug 2016   ISBN:4764905094
SPLC2013, 17th International Software Product Line Conference, Proceedings - Volume1
Tomoji Kishi, Stan Jarzabek, Stefania Gnesi, Natsuko Noda (Part:Joint Editor)
2013   ISBN:978-1-4503-1968-3
Applied Software Product Line Engineering, (Ed. Kyo C. Kang, et.al.)
Tomoji Kishi, Natsuko Noda (Part:Contributor, Chapter 10: Formal Verification and Software Product Lines)
CRC Press   2009   ISBN:1420068415
岸 知二, 野田 夏子, 深澤 良彰 (Part:Joint Work)
共立出版   Jun 2005   ISBN:4320027779

Conference Activities & Talks

 
Female Engineers Development using Mindstorms [Invited]
Natsuko Noda
Robotics Education Day 2017   16 Jul 2017   

Patents

 
特許米国第5920717号 : Method and Apparatus for Automated Program-Generation
Natsuko Noda