| 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 # | |
| MSS, SS | 2017-01-27 10:40 |
Kyoto | Kyoto Institute of Technology | Formal Description of a Processing as a Mapping between different sorts of Representations, Considering state-transition Fumiko Kouda (Utokyo)  MSS2016-70 SS2016-49 |
We propose a new computing processing model, as a mapping of representation-translation, considering their semantics, ... [more] |
MSS2016-70 SS2016-49 pp.77-82 |
| VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2014-11-26 10:45 |
Oita | B-ConPlaza | A hardware description method and sematics providing a timing constrant Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) VLD2014-82 DC2014-36 |
Formal verification methods are wide-spreading due to its mathmatical rigorousaspect, although they limited to synchroun... [more] | VLD2014-82 DC2014-36 pp.81-86 |
| SS, MSS | 2012-01-26 13:15 |
Kochi | Kochi City Culture-Plaza Cul-Port | On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-59 SS2011-44 |
On developing information system, the methodology to realize required specications by combine unit parts of system calle... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| SS | 2011-10-28 11:15 |
Ishikawa | JAIST | Iterative Construction of Finite Alloy Descriptions Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) SS2011-36 |
In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The comma... [more] | SS2011-36 pp.55-60 |
| PRMU, NLC, TL | 2006-10-20 15:10 |
Tokyo | Implementing a Japanese Semantic Parser Based on Glue Approach for Lexical-Functional Grammar Hiroshi Umemoto (Fuji Xerox) |
This paper describes the implementation of a Japanese semantic parser based on glue approach. The parser is designed as ... [more] | NLC2006-26 pp.21-25 |
|
| ET | 2006-09-16 14:30 |
Osaka | Practice and Evaluation of Portfolio Assessment Support System Yasuhiko Morimoto, Isao Kikukawa (Fuji Tokoha Univ.), Maomi Ueno (UEC), Setsuo Yokoyama, Youzou Miyadera (Tokyo Gakugei Univ.) |
Portfolio assessment that used electronic portfolios has attracted as a more authentic means of evaluating learning dire... [more] | ET2006-42 pp.35-40 |
|
| 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 |
[Return to Top Page]