dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tae Kameda (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards a Verification-Based Development Approach for Reactive Systems. SoMeT 2009: 350-363
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards Verifying Declarative Specifications of Reactive Systems. SoMeT 2008: 389-400
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai: Towards Developing Adjustable Software: A Case Study with the Lyee Approach. SoMeT 2006: 423-438

Selection of 3 from 3 records - Tae Kameda has 5 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page