北村崇師 Kitamura Takashi

研究者番号	70530484
その他のID	https://orcid.org/0000-0002-8903-3161
所属 (現在)	2025年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
所属 (過去の研究課題情報に基づく) *注記	2025年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2017年度 – 2022年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2012年度: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 研究員 2011年度 – 2012年度: 産業技術総合研究所, セキュアシステム研究部門, 研究員 2010年度: 独立行政法人産業技術総合研究所, 関西産学官連携センター, 産総研特別研究員
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / ソフトウェア研究代表者以外情報学基礎
キーワード	研究代表者制約充足問題 / 最適化問題 / 継続開発 / 最適化 / テスト生成 / ソフトウェア / 組合せ問題 / システム信頼性 / 組合せテスト / ソフトウェアテスト / ソフトウェア工学 … もっと見る研究代表者以外 … もっと見る (論理の)表現力 / 論理 / 表現力 / モデル / 一階様相μ計算 / 命題様相μ計算 / 形式手法 / 数理論理学隠す

データの妥当性を考慮する公平性テスト研究代表者
- 研究代表者
  
  北村崇師
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  国立研究開発法人産業技術総合研究所
継続・派生開発のための組合せテストの研究研究代表者
- 研究代表者
  
  北村崇師
- 研究期間 (年度)
  2017 – 2022
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  国立研究開発法人産業技術総合研究所
形式手法のための論理の構築と、一階拡張が満たす性質に関する研究
- 研究代表者
  
  岡本圭史
- 研究期間 (年度)
  2011 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  仙台高等専門学校
   独立行政法人産業技術総合研究所

すべて 2020 2013 2012 2010 その他

すべて雑誌論文学会発表

[雑誌論文] Automated route planning for milk-run transport logistics with the NuSMV model checker2013
- 著者名/発表者名
  Takashi Kitamura and Keishi Okamoto
- 雑誌名
  
  The IEICE Transactions on Information and Systems, Special Section on Parallel and Distributed Computing and Networking(Conditionally Accepted)
  
  巻: ―
- NAID
  130003385424
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] 要求・仕様参照モデルに基づく要求追跡の形式手法2010
- 著者名/発表者名
  北村崇師,岡本圭史,武山誠, Jackson の
- 雑誌名
  
  Proceedings of the IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム
  
  ページ: 149-154
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010
- 著者名/発表者名
  Takashi KITAMURA, Keishi OKAMOTO, Makoto TAKEYAMA
- 雑誌名
  
  Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing
  
  巻: (Published electronically)
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010
- 著者名/発表者名
  北村崇師, 岡本圭史, 武山誠
- 雑誌名
  
  Proceedings of the IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム
  
  ページ: 149-154
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Formal Validation andRequirements Management Based on theJackson's Reference Model forRequirements and Specifications
- 著者名/発表者名
  Takashi KITAMURA,Keishi Okamoto,MakotoTAKEYAMA
- 雑誌名
  
  Proceedings of the 16th IEEE Pacific RimInternational Symposium on DependableComputing
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[雑誌論文] Automated route planning for milk-runtransport logistics with the NuSMV modelchecker
- 著者名/発表者名
  Takashi Kitamura and Keishi Okamoto
- 雑誌名
  
  The IEICE Transactions onInformation and Systems, Special Sectionon Parallel and Distributed Computing andNetworking
- 査読あり
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Toward an Encoding Approach to Interaction-based Test Suite Minimization2020
- 著者名/発表者名
  Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
- 学会等名
  9th International Workshop on Combinatorial Testing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K12668
[学会発表] An automated route planning for milk-run transport logistics using model checking2012
- 著者名/発表者名
  Takashi Kitamura, Keishi Okamoto
- 学会等名
  4th International Workshop on Parallel and Distributed Algorithms and Applications
- 発表場所
  Okinawa, Japan
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Anautomated route planning for milk-runtransport logistics using model checking2012
- 著者名/発表者名
  Takashi Kitamura, Keishi Okamoto
- 学会等名
  4th International Workshop on Parallel andDistributed Algorithms and Applications
- 発表場所
  Okinawa, Japan
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Formal Validation and Requirements Management Based on theJackson's Reference Model forRequirements and Specifications2010
- 著者名/発表者名
  Takashi KITAMURA,Keishi Okamoto,MakotoTAKEYAMA
- 学会等名
  The 16thIEEE Pacific Rim International Symposiumon Dependable Computing
- 発表場所
  National Institute of Informatics,Tokyo, Japan
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010
- 著者名/発表者名
  北村崇師,岡本圭史,武山誠
- 学会等名
  ソフトウェアエンジニアリングシンポジウム2010
- 発表場所
  東洋大学
- 年月日
  2010-09-01
- データソース
  KAKENHI-PROJECT-22500021
[学会発表] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010
- 著者名/発表者名
  Takashi KITAMURA, Keishi OKAMOTO, Makoto TAKEYAMA
- 学会等名
  The 16th IEEE Pacific Rim International Symposium on Dependable Computing
- 発表場所
  National Institute of Informatics, Tokyo, Japan
- 年月日
  2010-12-15
- データソース
  KAKENHI-PROJECT-22500021

1. 岡本圭史 (00308214)

共同の研究課題数: 1件

共同の研究成果数: 11件

北村 崇師 Kitamura Takashi

研究課題

研究成果

共同研究者

データの妥当性を考慮する公平性テスト研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

継続・派生開発のための組合せテストの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式手法のための論理の構築と、一階拡張が満たす性質に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Automated route planning for milk-run transport logistics with the NuSMV model checker2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 要求・仕様参照モデルに基づく要求追跡の形式手法2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Formal Validation andRequirements Management Based on theJackson's Reference Model forRequirements and Specifications

著者名/発表者名

雑誌名

データソース

[雑誌論文] Automated route planning for milk-runtransport logistics with the NuSMV modelchecker

著者名/発表者名

雑誌名

データソース

[学会発表] Toward an Encoding Approach to Interaction-based Test Suite Minimization2020

著者名/発表者名

学会等名

データソース

[学会発表] An automated route planning for milk-run transport logistics using model checking2012

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Anautomated route planning for milk-runtransport logistics using model checking2012

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Formal Validation and Requirements Management Based on theJackson's Reference Model forRequirements and Specifications2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

北村崇師 Kitamura Takashi