Volume 5,Issue 1-2Part1,2011 Table of Contents
Festschrift in Honor of Prof. Manfred Broy (Part 1: Specification, Verification, Transformation, Concurrency) | | | The photo of Prof. Manfred Broy with signature | | Manfred Broy | | 2011,5(1-2Part1):0 [Abstract] [View PDF(49.29 K)] | | | | Preface: Foundations and Practice of Systems and Software Engineering -- Towards Scientific Contribution of Prof. Manfred Broy | | Martin Wirsing and Ruqian Lu | | 2011,5(1-2Part1):1-6 [Abstract] [View PDF(351.31 K)] | | | | Euclid Writes an Algorithm: A Fairytale | | Leslie Lamport | | 2011,5(1-2Part1):7-20 [Abstract] [View PDF(6.93 M)] | | | | Majority Vote Algorithm Revisited Again | | Tobias Nipkow | | 2011,5(1-2Part1):21-28 [Abstract] [View PDF(473.68 K)] | | | | A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing | | Jan Oliver Ringert and Bernhard Rumpe | | 2011,5(1-2Part1):29-53 [Abstract] [View PDF(1.36 M)] | | | | Semantic Models for a Logic of Partial Functions | | Cliff B. Jones and Matthew J. Lovert | | 2011,5(1-2Part1):55-76 [Abstract] [View PDF(1.07 M)] | | | | Steps Towards a Theory and Calculus of Aliasing | | Bertrand Meyer | | 2011,5(1-2Part1):77-115 [Abstract] [View PDF(3.22 M)] | | | | Syspect -- Modelling, Specifying, and Verifying Real-Time Systems with Rich Data | | Johannes Fabe,Sven Linker,Ernst-Rudiger Olderog and Jan-David Quesel | | 2011,5(1-2Part1):117-137 [Abstract] [View PDF(2.52 M)] | | | | Preservation of Policy Adherence under Refinement | | Bjornar Solhaug and Ketil Stolen | | 2011,5(1-2Part1):139-157 [Abstract] [View PDF(1.61 M)] | | | | Mondex: Engineering a Provable Secure Electronic Purse | | Dominik Haneberg,Nina Moebius,Wolfgang Reif,Gerhard Schellhorn,
and Kurt Stenzel and Kurt Stenzel | | 2011,5(1-2Part1):159-184 [Abstract] [View PDF(1.45 M)] | | | | On Structured Model-Driven Transformations | | Roberto Bruni,Alberto Lluch Lafuente and Ugo Montanari | | 2011,5(1-2Part1):185-206 [Abstract] [View PDF(1.98 M)] | | | | Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms | | Hartmut Ehrig and Karsten Gabriel | | 2011,5(1-2Part1):207-229 [Abstract] [View PDF(4.24 M)] | | |
|