Hiroshi Ishikawa

Affiliations:

According to our database¹, Hiroshi Ishikawa authored at least 4 papers between 2004 and 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

On a GUI-based Editor for Z Specifications and its Applications.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

2005

On a GUI based Editor for the Z Notation.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

A Specification Construction Unit-Based Editor for Z.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

A Prototype on GUI Based Editor for Z Specifications.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2004