Other Achievement

Basic information

Name Takeuchi Hironori
Belonging department
Occupation name
researchmap researcher code
researchmap agency

Title 

生成AIを用いた仕様書とコード間の整合性確認

					

					

						

							

								

									
Book Classification 

									
								

							

						

						
Joint Author

					

					

						

							

								

									
Author 

									
								

							

						

						
河口怜央,林香織,佐藤博之,小林展英,竹内広宜

					

					

						

							

								

									
Summary 

									
								

							

						

						
 

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
日本ソフトウェア科学会 第32回ソフトウェア工学の基礎研究会(FOSE2025)

					

					

						

							

								

									
Publisher 

									
								

							

						

						
 

					

					

						

							

								

									
Volume 

									
								

							

						

						
 

					

					

						

							

								

									
Number Of Pages 

									
								

							

						

						
 

					

					

						

							

								

									
StartingPage 

									
								

							

						

						
207

					

					

						

							

								

									
EndingPage 

									
								

							

						

						
208

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
202511

					

					

						

							

								

									
Referee 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Request 

									
								

							

						

						
 

					

					

						

							

								

									
Language 

									
								

							

						

						
 

					

					

						

							

								

									
Posting type 

									
								

							

						

						
 

					

					

						

							

								

									
International Journal 

									
								

							

						

						
 

					

					

						

							

								

									
International Collaboration 

									
								

							

						

						
 

					

					

						

							

								

									
ISSN 

									
								

							

						

						
 

					

					

						

							

								

									
eISSN 

									
								

							

						

						
 

					

					

						

							

								

									
ISBN 

									
								

							

						

						
 

					

					

						

							

								

									
DOI 

									
								

							

						

						
 

					

					

						

							

								

									
NAID 

									
								

							

						

						
 

					

					

						

							

								

									
Cinii Books Id 

									
								

							

						

						
 

					

					
					

						

							

								

									
PMID 

									
								

							

						

						
 

					

					

						

							

								

									
PMCID 

									
								

							

						

						
 

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
Format 

									
								

							

						

						
 

					

					

						

							

								

									
Download 

									
								

							

						

						
 

					

					

						

							

								

									
J-GLOBAL ID 

									
								

							

						

						
 

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						
 

					

					

						

							

								

									
ORCID Put Code 

									
								

							

						

						
 

					

					

						

							

								

									
DBLP ID 

									
								

							

						

						
 

					

					

						

							

								

									
Major Achivement