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)
![Top SE --- Practical Series [1] Basics of Software ScienceB (in Japanese)](img/KD0355-170.jpg)
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) )
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-4764903548
Price
»
3,990 yen (including tax)
Top SE --- Practical Series [1]
Software Development with B
Software system modeling and its verification (in Japanese)
![Top SE --- Practical Series [1]Formatted Specifications Description by Method BSoftware system modeling and its verification (in Japanese)](img/book1.gif)
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.)
(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)
![Top SE --- Practical Series[2]
Software Patterns
Pattern-oriented practical software development (in Japanese)](img/book2.gif)
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)
Rieko Yamamoto (Fujitsu Laboratories Ltd.)
Atsuto Kubo (Waseda University)
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)
![Top SE --- Practical Series [1] Design Model Verification by SPIN (in Japanese](img/KD0354-170.jpg)
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) )
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
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: Software Patterns and Quality (SPAQu'07) ", InformationProcessing Society of Japan