| |
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(3759)] [View PDF 71.16 K (1532)] | | | | | A Historical Document, A Piece of Precious Memory Editorial | | | Ruqian Lu | | | 2015,9(2):93 [Abstract(64824)] [View PDF 48.34 K (1731)] | | | | | Chinese University Development Project | | | Bernd Krieg-Bruckner | | | 2015,9(2):95-111 [Abstract(5949)] [View PDF 123.55 K (1707)] | | | | | Preface | | | Berthold Hoffmann, Dieter Hutter and Hui Shi | | | 2015,9(2):113-115 [Abstract(3020)] [View PDF 66.10 K (1502)] | | | | | Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation | | | Grzegorz Marczynski, Donald Sannella and Andrzej Tarlecki | | | 2015,9(2):117-139 [Abstract(4024)] [View PDF 212.81 K (4807)] | | | | | On Inconsistency and Unsatisfiability | | | Till Mossakowski and Lutz Schroder | | | 2015,9(2):141-152 [Abstract(2597)] [View PDF 135.08 K (1813)] | | | | | 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(2721)] [View PDF 1.06 M (2009)] | | | | | Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study | | | Abderrahmane Feliachi, Marie-Claude Gaudel and Burkhart Wolff | | | 2015,9(2):177-203 [Abstract(3266)] [View PDF 555.57 K (1596)] | | | | | Knorc Calculus and Its Formal Semantics--To Honor my Friend Prof. Krieg-Brueckner's 66th Birthday | | | Ruqian Lu | | | 2015,9(2):205-231 [Abstract(2535)] [View PDF 198.47 K (1527)] | | | | | An Ontology for Secure Web Applications | | | Marianne Busch and Martin Wirsing | | | 2015,9(2):233-258 [Abstract(2865)] [View PDF 2.32 M (3757)] | | | | | Similarity-Based Diff, Three-Way Diff and Merge | | | Serge Autexier | | | 2015,9(2):259-277 [Abstract(2859)] [View PDF 160.28 K (1657)] | | | | | Computational Problem Solving in Spatial Substrates -- A Cognitive Systems Engineering Approach | | | Christian Freksa | | | 2015,9(2):279-288 [Abstract(2407)] [View PDF 347.32 K (1728)] | | | |
|
