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

Hironobu Kuruma

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEThai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19
2007
4EEDavid A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff: Verifying a signature architecture: a comparative case study. Formal Asp. Comput. 19(1): 63-91 (2007)
2005
3EEDavid A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285
2 Hironobu Kuruma, Shinichi Honiden: A Model for Policy Based Service Community. ICEIS (3) 2005: 360-366
1997
1EESaeko Matsuura, Hironobu Kuruma, Shinichi Honiden: EVA: A Flexible Programming Method for Evolving Systems. IEEE Trans. Software Eng. 23(5): 296-313 (1997)

Coauthor Index

1Jean-Raymond Abrial [5]
2David A. Basin [3] [4] [5]
3Thai Son Hoang [5]
4Shinichi Honiden [1] [2]
5Saeko Matsuura [1]
6Kunihiko Miyazaki [4]
7Kazuo Takaragi [3] [4]
8Burkhart Wolff [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)