年別の研究成果
年別の研究成果
検索結果
-
2020
日本ソフトウェア科学会第 36 回大会報告
Ito, K. & Noda, N., 2020, In: Computer Software. 37, 2, p. 2-13 12 p.研究成果: Article › 査読
-
2014
Variability modeling methods for software product line development
Noda, N. & Kishi, T., 2014 12月 14, In: Computer Software. 31, 4, p. 66-76 11 p.研究成果: Article › 査読
-
2013
Verification in Software Product Line Development.
Noda, N. & Kishi, T., 2013 1月, In: Computer Software. 30, 3, p. 3-17 15 p.研究成果: Article › 査読
1 被引用数 (Scopus) -
2006
Formal verification and software product lines
Kishi, T. & Noda, N., 2006 12月 1, In: Communications of the ACM. 49, 12, 1183270.研究成果: Article › 査読
25 被引用数 (Scopus) -
2001
Software architecture
Kishi, T. & Noda, N., 2001 12月 1, In: Computer Software. 18, 2, p. 310-319 10 p.研究成果: Article › 査読