Other Achievement

Basic information

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

Title 

モデルを用いた仕様書とコードの整合性確認手法

					

					

						

							

								

									
Book Classification 

									
								

							

						

						
 

					

					

						

							

								

									
Author 

									
								

							

						

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

					

					

						

							

								

									
Summary 

									
								

							

						

						
 

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
情報処理学会研究報告(IPSJ SIG Technical Report)

					

					

						

							

								

									
Publisher 

									
								

							

						

						
 

					

					

						

							

								

									
Volume 

									
								

							

						

						
2025-SE-220

					

					

						

							

								

									
Number Of Pages 

									
								

							

						

						
27

					

					

						

							

								

									
StartingPage 

									
								

							

						

						
1

					

					

						

							

								

									
EndingPage 

									
								

							

						

						
8

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
202507

					

					

						

							

								

									
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