IEICE Technical Committee Submission System
Conference Schedule		 Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 21 - 26 of 26 [Previous]  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
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-11-28
10:00		 Fukuoka FIT A method for VDM-SL specification by Actor relation matrix
Komon Ibe (NTT DATA Co.), Yuuki Ikuta (Kyushu Univ.), Shuichiro Yamamoto (NTT DATA Co.) KBSE2008-30		 To meet requirements change, it’s important to clarify the association of the requirement and the formal specification. ... [more] KBSE2008-30
pp.43-48
SS 2007-10-22
15:45		 Miyagi Miyagi Univ. Behavior Verification for Embedded Systems Focusing on System Contexts
Hirotoshi Kanagawa, Toshiki Seto, Susumu Taniguchi, Jyun Yoshida, Naoyasu Ubayashi (KIT), Takeshi Sumi, Masayuki Hirayama (TOSHIBA) SS2007-32		 Many of the embedded systems not only affect their external contexts through actuators but also are affected by their en... [more] SS2007-32
pp.13-18
SS 2007-06-22
11:45		 Ishikawa JAIST Formal Description and Verification of Domains
Yasuhito Arimoto, Kokichi Futatsugi (JAIST) SS2007-15		 In this paper, we propose a methodology for describing formal domain descriptions and verifying them by
using OTS/Cafe... [more]		 SS2007-15
pp.35-40
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
SS 2005-12-20
14:00		 Kochi Kochi Women's University A Layered Architecture of Formal Specification
Xiaojing Zhang, Yoichi Omori, Keijiro Araki (Kyushu Univ.) 		Software productline extracts similarities of a series of products, thus a specification of a product can be applied to ... [more] SS2005-70
pp.43-48
 Results 21 - 26 of 26 [Previous]  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan