Kitamura Takashi 北村崇師

… Alternative Names

KITAMURA Takashi 北村崇師

Less

Researcher Number	70530484
Other IDs	https://orcid.org/0000-0002-8903-3161
Affiliation (Current)	2024: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
Affiliation (based on the past Project Information) *help	2017 – 2022: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2012: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 研究員 2011 – 2012: 産業技術総合研究所, セキュアシステム研究部門, 研究員 2010: 独立行政法人産業技術総合研究所, 関西産学官連携センター, 産総研特別研究員
Review Section/Research Field	Principal Investigator Software Except Principal Investigator Fundamental theory of informatics
Keywords	Principal Investigator 制約充足問題 / 最適化問題 / 継続開発 / 最適化 / テスト生成 / ソフトウェア / 組合せ問題 / システム信頼性 / 組合せテスト / ソフトウェアテスト / ソフトウェア工学 … More Except Principal Investigator … More (論理の)表現力 / 論理 / 表現力 / モデル / 一階様相μ計算 / 命題様相μ計算 / 形式手法 / 数理論理学 Less

Combinatorial testing in continuous developmentPrincipal Investigator
- Principal Investigator
  
  Kitamura Takashi
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Research on Construction of a Logic for Formal Methods and Properties of First-Order Extensions
- Principal Investigator
  
  OKAMOTO Keishi
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Sendai National College of Technology
  National Institute of Advanced Industrial Science and Technology

All 2020 2013 2012 2010 Other

All Journal Article Presentation

[Journal Article] Automated route planning for milk-run transport logistics with the NuSMV model checker2013
- Author(s)
  Takashi Kitamura and Keishi Okamoto
- Journal Title
  
  The IEICE Transactions on Information and Systems, Special Section on Parallel and Distributed Computing and Networking(Conditionally Accepted)
  
  Volume: ―
- NAID
  130003385424
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500021
[Journal Article] 要求・仕様参照モデルに基づく要求追跡の形式手法2010
- Author(s)
  北村崇師,岡本圭史,武山誠, Jackson の
- Journal Title
  
  Proceedings of the IPSJ/SIGSE ソフトウェアエンジニアリングシンポジウム
  
  Pages: 149-154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500021
[Journal Article] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010
- Author(s)
  Takashi KITAMURA, Keishi OKAMOTO, Makoto TAKEYAMA
- Journal Title
  
  Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing
  
  Volume: (Published electronically)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500021
[Journal Article] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010
- Author(s)
  北村崇師, 岡本圭史, 武山誠
- Journal Title
  
  Proceedings of the IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム
  
  Pages: 149-154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500021
[Journal Article] Formal Validation andRequirements Management Based on theJackson's Reference Model forRequirements and Specifications
- Author(s)
  Takashi KITAMURA,Keishi Okamoto,MakotoTAKEYAMA
- Journal Title
  
  Proceedings of the 16th IEEE Pacific RimInternational Symposium on DependableComputing
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500021
[Journal Article] Automated route planning for milk-runtransport logistics with the NuSMV modelchecker
- Author(s)
  Takashi Kitamura and Keishi Okamoto
- Journal Title
  
  The IEICE Transactions onInformation and Systems, Special Sectionon Parallel and Distributed Computing andNetworking
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500021
[Presentation] Toward an Encoding Approach to Interaction-based Test Suite Minimization2020
- Author(s)
  Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
- Organizer
  9th International Workshop on Combinatorial Testing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12668
[Presentation] An automated route planning for milk-run transport logistics using model checking2012
- Author(s)
  Takashi Kitamura, Keishi Okamoto
- Organizer
  4th International Workshop on Parallel and Distributed Algorithms and Applications
- Place of Presentation
  Okinawa, Japan
- Data Source
  KAKENHI-PROJECT-22500021
[Presentation] Anautomated route planning for milk-runtransport logistics using model checking2012
- Author(s)
  Takashi Kitamura, Keishi Okamoto
- Organizer
  4th International Workshop on Parallel andDistributed Algorithms and Applications
- Place of Presentation
  Okinawa, Japan
- Data Source
  KAKENHI-PROJECT-22500021
[Presentation] Formal Validation and Requirements Management Based on theJackson's Reference Model forRequirements and Specifications2010
- Author(s)
  Takashi KITAMURA,Keishi Okamoto,MakotoTAKEYAMA
- Organizer
  The 16thIEEE Pacific Rim International Symposiumon Dependable Computing
- Place of Presentation
  National Institute of Informatics,Tokyo, Japan
- Year and Date
  2010-12-15
- Data Source
  KAKENHI-PROJECT-22500021
[Presentation] Jacksonの要求・仕様参照モデルに基づく要求追跡の形式手法2010
- Author(s)
  北村崇師,岡本圭史,武山誠
- Organizer
  ソフトウェアエンジニアリングシンポジウム2010
- Place of Presentation
  東洋大学
- Year and Date
  2010-09-01
- Data Source
  KAKENHI-PROJECT-22500021
[Presentation] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010
- Author(s)
  Takashi KITAMURA, Keishi OKAMOTO, Makoto TAKEYAMA
- Organizer
  The 16th IEEE Pacific Rim International Symposium on Dependable Computing
- Place of Presentation
  National Institute of Informatics, Tokyo, Japan
- Year and Date
  2010-12-15
- Data Source
  KAKENHI-PROJECT-22500021

1. OKAMOTO Keishi (00308214)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results

Kitamura Takashi 北村 崇師

KITAMURA Takashi 北村 崇師

Research Projects

Research Products

Co-Researchers

Combinatorial testing in continuous developmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Construction of a Logic for Formal Methods and Properties of First-Order Extensions

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Automated route planning for milk-run transport logistics with the NuSMV model checker2013

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] Formal Validation andRequirements Management Based on theJackson's Reference Model forRequirements and Specifications

Author(s)

Journal Title

Data Source

[Journal Article] Automated route planning for milk-runtransport logistics with the NuSMV modelchecker

Author(s)

Journal Title

Data Source

[Presentation] Toward an Encoding Approach to Interaction-based Test Suite Minimization2020

Author(s)

Organizer

Data Source

[Presentation] An automated route planning for milk-run transport logistics using model checking2012

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Anautomated route planning for milk-runtransport logistics using model checking2012

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Formal Validation and Requirements Management Based on theJackson's Reference Model forRequirements and Specifications2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

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

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Kitamura Takashi 北村崇師

KITAMURA Takashi 北村崇師