Conference Program
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
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 |
||
|
||
|
11:00-12:00 Improving Expressiveness for Quality of System Products based on Independent Verification and Validation |
||
|
» Page Top
| IPA-2 | 11.17 [thu] 13:00-13:55 Conference Center 3F[303] | ||
| Part 2 | ||
| The Case of practically Applicable Formal Methods | ||
|
» Page Top
| 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 | ||
|
» Page Top
| IPA-4 | 11.17 [thu] 15:50-16:50 Conference Center 3F[303] | ||
| Part 4 | ||
| Security countermeasures for embedded systems | ||
|
» Page Top
| 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 | ||||||
|
» Page Top
| IPA-6 | 11.18 [fri] 13:00-14:10 Conference Center 3F[303] | ||
| Part 6 | ||
| Process Improvement biginning with "Notice" by Project Members | ||
|
» Page Top
| 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" | ||
|
» Page Top
| 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 | ||||
|
» Page Top




















