Conference Program

Keynote Session Invited Lecture Special Lecture ET-EDSFair Session
Anniversary Session Panel Session Technical Session Smart Energy Special Seminar
Design and Validator Track DSP Track FPGA Track AnalogDesign Track
Special Session JASA Special Seminar JASA Technological Headquarters Seminar JASA Global Forum
IPA Seminar Critical Software Workshop JEITA Seminar  

IPA Seminar  

IPA-1 | 11.17 [thu] 10:00-12:00 Conference Center 3F[303]
Part 1
 
10:00-11:00
New Challenges for Dependability of Software-intensive Systems in Forthcoming Cyber-Physical Era
Joji Tateishi
Deputy Director/Joint Project Leader
Software Engineering Center
Information-technology Promotion Agency, Japan



11:00-12:00
Improving Expressiveness for Quality of System Products based on Independent Verification and Validation
Kiichiro Tamaru
Software Engineering Center (SEC)
Information-technology Prpmotion Agency, Japan


IPA-2 | 11.17 [thu] 13:00-13:55 Conference Center 3F[303]
Part 2
 
The Case of practically Applicable Formal Methods
Hideaki Tsukamoto
Manager
Research and Development Headquarters
NTT DATA CORPORATION


IPA-3 | 11.17 [thu] 14:10-15:35 Conference Center 3F[303]
Part 3
 
How to get a project planning method for embedded software development
Mitsuhiro Matsuda
Embedded Software Project Resercher
Software Engineering Center (SEC)
Information-technology Prpmotion Agency, Japan


IPA-4 | 11.17 [thu] 15:50-16:50 Conference Center 3F[303]
Part 4
 
Security countermeasures for embedded systems
Chisato Konno
Laboratory Director
Security Engineering Laboratory, IT Security Center
Information-technology Promotion Agency, Japan


IPA-5 | 11.18 [fri] 10:00-12:00 Conference Center 3F[303]
Part 5
 
"MIERUKA(Visualization)" and Management of IT Projects through Quantitative Data
Yoshiki Mitani
Technical Advisor
Software Engineering Center
Information-technology Promotion Agency, Japan



Takashi Ogura
Technical Advisor
Software Engineering Center
Information-technology Promotion Agency, Japan



Noriko Mike
Software Engineering Center
Information-technology Promotion Agency, Japan




IPA-6 | 11.18 [fri] 13:00-14:10 Conference Center 3F[303]
Part 6
 
Process Improvement biginning with "Notice" by Project Members
Toshiyuki Kuramochi
Software Engineering Center
Information-technology Promotion Agency, Japan


IPA-7 | 11.18 [fri] 14:30-15:30 Conference Center 3F[303]
Part 7
 
Introduction of "Guidebook for high quality software development techniques for high dependable systems"
Tetsuro Fujise
Technical Advisor
Software Engineering Center
Information-technology Promotion Agency, Japan


IPA-8 | 11.18 [fri] 15:50-17:00 Conference Center 3F[303]
Part 8
 
Essentials of Agile Method Introduction based on Cases for Its First Introduction
Hiroyuki Yamashita
Enterprize Software Project Leader
Software Engineering Center, Technology Headquarters
Information-technology Promotion Agency, Japan



Hiroshi Horie
Mamezou Co., Ltd.