International Journal of Software and Informatics, Volume 9

Volume 9, Number 1, 2015

Regular Papers

• 
  Norihiro Kamide:
  Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. 73-92

Special Issue on Visual Information Communication and Interaction

• 
  Quang Vinh Nguyen, Yingcai Wu, Weidong Huang, Tomasz Bednarz:
  Editorial: Visual Information Communication and Interaction. 1-2
• 
  Michael Burch, Daniel Weiskopf:
  Flip-Book Visualization of Dynamic Graphs. 3-21
• 
  S. Ruchika, Susmitha Pulakhandam, Isha Singh Jassi, G. Ram Mohan Reddy:
  Ember: A Smartphone Web Browser Interface for the Blind. 23-36
• 
  Kiho Sakamoto, Takayuki Itoh:
  Photomosaic Generation and Representative Photomosaic Selection for Photograph Browsing. 37-49
• 
  Alireza Rezaeian, Jared Donovan:
  Design of a Tangible Data Visualisation. 51-59
• 
  Phillip Gough, Kate Dunn, Tomasz Bednarz, Xavier Ho:
  Art and Chartjunk: A Guide for NEUVis. 61-72

Volume 9, Number 2, 2015

Special Issue Regarding Prof. Dr. Bernd Krieg-Bruckner 66th Birthday

• 
  Bernd Krieg-Brückner:
  The photo of Prof. Dr. Bernd Krieg-Bruckner with signature.
• 
  Ruqian Lu:
  A Historical Document, A Piece of Precious Memory Editorial. 93
• 
  Bernd Krieg-Brückner:
  Chinese University Development Project. 95-111
• 
  Berthold Hoffmann, Dieter Hutter, Hui Shi:
  Preface. 113-115
• 
  Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki:
  Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. 117-139
• 
  Till Mossakowski, Lutz Schröder:
  On Inconsistency and Unsatisfiability. 141-152
• 
  Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff:
  Automating Test Case Selection in Model-Based Software Product Line Development. 153-175
• 
  Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
  Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. 177-203
• 
  Ruqian Lu:
  Knorc Calculus and Its Formal Semantics--To Honor my Friend Prof. Krieg-Brueckner's 66th Birthday. 205-231
• 
  Marianne Busch, Martin Wirsing:
  An Ontology for Secure Web Applications. 233-258
• 
  Serge Autexier:
  Similarity-Based Diff, Three-Way Diff and Merge. 259-277
• 
  Christian Freksa:
  Computational Problem Solving in Spatial Substrates - A Cognitive Systems Engineering Approach. 279-288