Tae Kameda

According to our database, Tae Kameda authored at least 4 papers between 2006 and 2025.

Collaborative distances:

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

2025

The Scenario Function Contributing to Software Safety and Security.

Tomoko Kaneko, Kazuma Ohno, Isamu Okada, Tae Kameda

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

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