| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| KBSE | 2010-11-25 10:50 |
Shizuoka | Faculty of Infomatics, Shizuoka Univ. | An Experimental Development of a Domain Ontology for Structured Specifications of Information Systems Takahiro Seino, Keishi Okamoto, Noriaki Izumi, Koiti Hasida (AIST)  KBSE2010-34 |
Each autonomy serves citizens their local tax services in compliance with the Locat Tax Act. Fundamentally, their servi... [more] | KBSE2010-34 pp.67-72 |
| MSS | 2010-08-02 14:25 |
Ishikawa | Generating test cases for implementing concurrent systems based on the OTS/CafeOBJ method Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.) CST2010-33 |
In software developments with formal methods, there exists an unavoidable gap between a system description in formal spe... [more] | CST2010-33 pp.7-12 |
|
| KBSE | 2008-07-25 11:00 |
Hokkaido | Hokkaido Information Univ. | A Study of Terminology Consistency over Heterogeneous Specifications Based on Ontology Takahiro Seino, Osamu Takaki, Noriaki Izumi, Koiti Hasida (AIST) KBSE2008-20 |
We have implemented a tool to check whether the reference relationship between delivarables is consistent and experience... [more] | KBSE2008-20 pp.41-46 |
| KBSE | 2008-03-10 10:00 |
Tokyo | Kikai-Shinko-Kaikan Bldg. B3F-2 | Modeling Software Development Project Based on Product-Task-Issue Relationship Yukinori Sagara (Tokyo Univ. of Science), Takahiro Seino, Noriaki Izumi (AIST), Ikuo Tahara (Tokyo Univ. of Science), Koiti Hasida (AIST) KBSE2007-54 |
Due to the informal dependency of key success factors on a project manager’s individual skills, it is still in the exper... [more] | KBSE2007-54 pp.1-6 |
| SS | 2007-12-17 11:15 |
Shimane | Shimane Univ. | Generating tests from proof scores in the OTS/CafeOBJ method Masaki Nakamura (JAIST), Takahiro Seino (AIST) SS2007-42 |
In the OTS/CafeOBJ method, we describe a specification in CafeOBJ specification language, and verify it with a proof sco... [more] | SS2007-42 pp.25-30 |
| SS, KBSE | 2007-04-19 15:00 |
Fukushima | Univ. of Aizu | A study of applying formal methods to enterprise architecture of Japanese governmental corporations Takahiro Seino, Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST) SS2007-2 KBSE2007-2 |
AIST has been working on the development of the next-term information system for three years. The system is developed b... [more] | SS2007-2 KBSE2007-2 pp.7-12 |
[Return to Top Page]