Volume 5,Issue 1-2Part1,2011 Table of Contents

Other Issues:  

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



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

京公网安备 11040202500065号