Tae Kameda

According to our database, Tae Kameda authored at least 3 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Towards a Verification-Based Development Approach for Reactive Systems.

Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

2008

Towards Verifying Declarative Specifications of Reactive Systems.

Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

2006

Towards Developing Adjustable Software: A Case Study with the Lyee Approach.

Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006