| |
| 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)] |
| | |
