Volume 9,Issue 2,2015 Table of Contents
Special Issue Regarding Prof. Dr. Bernd Krieg-Bruckner 66th Birthday | | | The photo of Prof. Dr. Bernd Krieg-Bruckner with signature | | Bernd Krieg-Bruckner | | 2015,9(2):0 [Abstract] [View PDF(71.16 K)] | | | | 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)] | | |
|