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 editorYuzuru Tanaka(Hokkaido University Graduate School)
AuthorYoshinao 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) )
Dimensions23.2×18.4×2 cm
Published in December 2007
Published by 2008.9.30
ISBN-13978-4764903555
Price3,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 editorShin Nakajima (National Institute ofInformatics)
AuthorHironobu Kuruma(Systems Development Laboratory, Hitachi, Ltd.)
Dimensions23.2×18.2×2.4 cm
Number of pages240
Published in December 2007
Published byKindai Kagaku sha Co., Ltd.
ISBN-13978-4-7649-0347-0
Price3780 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 editorYoshiaki Fukazawa (Waseda University)
AuthorHironori 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)
Dimensions23.2×18.2×1.2 cm
Number of pages256
Published inDecember 2007
Published byKindai Kagaku sha Co., Ltd.
ISBN-13978-4-7649-0348-0
Price3780 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 editorMasami Hagiya(The Tokyo University)
AuthorNobukazu 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) )
Dimensions23.2×18.4×2 cm
Published in 2008.9.30
Published byKindai Kagaku sha Co., Ltd.
ISBN-13978-4764903548
Price3,780 yen (including tax)
Proceedings of the 1st International Workshop on
Software Patterns and Quality (SPAQu’07)
Proceedings of international workshop on software patterns and quality jointly hosted by SSE Project
AuthorHironori Washizaki
Nobukazu Yoshioka
Number of pages68
Published inDecember 2007
Published byKindai Kagaku sha Co., Ltd.
ISBN-13978-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

Comments are closed.