Computer Software

Paper

01 Dec 2000

A security model for mobile agent framework aglets

Paper

A dynamic verification method of executable UML/SysML models with timed-functional constraints

Kouichi Ono, Hiroaki Nakamura, et al.

Computer Software

Conference paper

Automated Testing of COBOL to Java Transformation

Sandeep Hans, Atul Kumar, et al.

FSE 2025

Review

A modeling method for performance evaluation of embedded software by eliminating execution traces

Kouichi Ono, Ryo Kawahara, et al.

Computer Software

Paper

Generating transformational annotation for web document adaptation: Tool support and empirical evaluation

Masahiro Hori, Kouichi Ono, et al.

Web Semantics

View all publications