Book Series

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Editors:
Yamine Ait-Ameur
Shin Nakajima
Dominique Méry

Published in 2021
As an outcome of
No.090 NII Shonan Meeting (November 2016)

Beyond Planar Graphs

Editors:
Seok-Hee Hong
Takeshi Tokuyama

Published in 2020
As an outcome of
No.089 NII Shonan Meeting (November 2016)

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability

Editors:
Brian Fitzgerald
Audris Mockus
Minghui Zhou

Published in 2019
As an outcome of
No.099 NII Shonan Meeting (June 2017)

Engineering Adaptive Software Systems

Editors:
Yijun Yu
Arosha Bandara
Shinichi Honiden
Zhenjiang Hu
Tetsuo Tamai
Hausi Muller
John Mylopoulos
Bashar Nuseibeh

Published in 2019
As an outcome of
No.004 NII Shonan Meeting (May 2012)
No.027 NII Shonan Meeting (September 2013)
No.052 NII Shonan Meeting (September 2015)

Combinatorial Optimization and Graph Algorithms

Editors:
Takuro Fukunaga
Ken-ichi Kawarabayashi

Published in 2017
As an outcome of
No.001 NII Shonan Meeting (February 2011)
No.071 NII Shonan Meeting (April 2016)

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Editors:
Shin Nakajima
Jean-Pierre Talpin
Masumi Toyoshima
Huafeng Yu

Published in 2017
As an outcome of
No.073 NII Shonan Meeting (March 2016)