Publications
The following books have been published as results of activities related to the Center.
Top SE — Practical Series [1]
Basics of Software Science
(in Japanese)
The First Practical Guide in Japan to Method B for the Description of Formatted Specifications
Supervising editor■Yuzuru Tanaka(Hokkaido University Graduate School)
Author■Yoshinao Isobe(National Institute of Advanced Industrial Science and Technology )
Fumihiro Kumeno(Mitsubishi Research Institute, Inc. )
Taketoshi Sakuraba(Hitachi, Ltd.)
Kenji Taguchi(National Institute of Informatics)
Yasuyuki Thara ( The University of Electro-Communications’ Graduate School of Information Systems (IS) )
Dimensions■23.2×18.4×2 cm
Published in ■December 2007
Published by ■2008.9.30
ISBN-13■978-4764903555
Price■3,990 yen (including tax)
Supervising editor■Yuzuru Tanaka(Hokkaido University Graduate School)
Author■Yoshinao Isobe(National Institute of Advanced Industrial Science and Technology )
Fumihiro Kumeno(Mitsubishi Research Institute, Inc. )
Taketoshi Sakuraba(Hitachi, Ltd.)
Kenji Taguchi(National Institute of Informatics)
Yasuyuki Thara ( The University of Electro-Communications’ Graduate School of Information Systems (IS) )
Dimensions■23.2×18.4×2 cm
Published in ■December 2007
Published by ■2008.9.30
ISBN-13■978-4764903555
Price■3,990 yen (including tax)
Top SE — Practical Series [1]
Software Development with B
Software system modeling and its verification (in Japanese)
The First Practical Guide in Japan to Method B for the Description of Formatted Specifications
Supervising editor■Shin Nakajima (National Institute ofInformatics)
Author■Hironobu Kuruma(Systems Development Laboratory, Hitachi, Ltd.)
Dimensions■23.2×18.2×2.4 cm
Number of pages■240
Published in ■December 2007
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4-7649-0347-0
Price■3780 yen (including tax)
Supervising editor■Shin Nakajima (National Institute ofInformatics)
Author■Hironobu Kuruma(Systems Development Laboratory, Hitachi, Ltd.)
Dimensions■23.2×18.2×2.4 cm
Number of pages■240
Published in ■December 2007
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4-7649-0347-0
Price■3780 yen (including tax)
Top SE — Practical Series [2]
Software Patterns
Pattern-oriented practical software development (in Japanese)
Practical Guide to Software Pattern Technologies for Efficiently Reusing Techniques Accumulated Individually
Supervising editor■Yoshiaki Fukazawa (Waseda University)
Author■Hironori Washizaki (National Institute of Informatics)
Katsuhisa Maruyama (Ritsumeikan University)
Supervising editor » Yoshiaki Fukazawa (Waseda University)
Author » Hironori Washizaki (National Institute of Informatics)
Katsuhisa Maruyama (Ritsumeikan University)
Rieko Yamamoto (Fujitsu Laboratories Ltd.)
Atsuto Kubo (Waseda University)
Dimensions■23.2×18.2×1.2 cm
Number of pages■256
Published in■December 2007
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4-7649-0348-0
Price■3780 yen (including tax)
Supervising editor■Yoshiaki Fukazawa (Waseda University)
Author■Hironori Washizaki (National Institute of Informatics)
Katsuhisa Maruyama (Ritsumeikan University)
Supervising editor » Yoshiaki Fukazawa (Waseda University)
Author » Hironori Washizaki (National Institute of Informatics)
Katsuhisa Maruyama (Ritsumeikan University)
Rieko Yamamoto (Fujitsu Laboratories Ltd.)
Atsuto Kubo (Waseda University)
Dimensions■23.2×18.2×1.2 cm
Number of pages■256
Published in■December 2007
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4-7649-0348-0
Price■3780 yen (including tax)
Top SE — Basic Series [3]
Design Model Verification by SPIN
(in Japanese)
The First Practical Guide in Japan to Method B for the Description of Formatted Specifications
Supervising editor■Masami Hagiya(The Tokyo University)
Author■Nobukazu Yoshioka(National Institue of Informatics)
Toshiaki Aoki(Japan Advanced Institute of Science and Technology )
Yasuyuki Thara( The University of Electro-Communications’ Graduate School of Information Systems (IS) )
Dimensions■23.2×18.4×2 cm
Published in ■2008.9.30
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4764903548
Price■3,780 yen (including tax)
Supervising editor■Masami Hagiya(The Tokyo University)
Author■Nobukazu Yoshioka(National Institue of Informatics)
Toshiaki Aoki(Japan Advanced Institute of Science and Technology )
Yasuyuki Thara( The University of Electro-Communications’ Graduate School of Information Systems (IS) )
Dimensions■23.2×18.4×2 cm
Published in ■2008.9.30
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4764903548
Price■3,780 yen (including tax)
Proceedings of the 1st International Workshop on
Software Patterns and Quality (SPAQu’07)
Software Patterns and Quality (SPAQu’07)
Proceedings of international workshop on software patterns and quality jointly hosted by SSE Project
Author■Hironori Washizaki
Nobukazu Yoshioka
Number of pages■68
Published in■December 2007
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4-915256-69-1 C3040″APSEC2007 co-located workshop W3: 1st International Workshop on Software Patterns and Quality （SPAQu’07）”, Information Processing Society of Japan
Author■Hironori Washizaki
Nobukazu Yoshioka
Number of pages■68
Published in■December 2007
Published by■Kindai Kagaku sha Co., Ltd.
ISBN-13■978-4-915256-69-1 C3040″APSEC2007 co-located workshop W3: 1st International Workshop on Software Patterns and Quality （SPAQu’07）”, Information Processing Society of Japan
