Volume 9,Issue 2,2015 Table of Contents

   
Other Issues:  
  

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

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

 

 

more>>  
Visitor:1474476
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592