| Title | Author Name | Vol. Issue NO. | Copy |
|
The photo of Prof. Manfred Broy with signature
|
Manfred Broy
|
2011,5(1-2Part1):0-0
|
|
|
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
|
|
|
Euclid Writes an Algorithm: A Fairytale
|
Leslie Lamport
|
2011,5(1-2Part1):7-20
|
|
|
Majority Vote Algorithm Revisited Again
|
Tobias Nipkow
|
2011,5(1-2Part1):21-28
|
|
|
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
|
|
|
Semantic Models for a Logic of Partial Functions
|
Cliff B. Jones and Matthew J. Lovert
|
2011,5(1-2Part1):55-76
|
|
|
Steps Towards a Theory and Calculus of Aliasing
|
Bertrand Meyer
|
2011,5(1-2Part1):77-115
|
|
|
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
|
|
|
Preservation of Policy Adherence under Refinement
|
Bjornar Solhaug and Ketil Stolen
|
2011,5(1-2Part1):139-157
|
|
|
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
|
|
|
On Structured Model-Driven Transformations
|
Roberto Bruni,Alberto Lluch Lafuente and Ugo Montanari
|
2011,5(1-2Part1):185-206
|
|
|
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
|
|
|
Feature-Oriented System Design and Engineering
|
Christian Lengauer and Sven Apel
|
2011,5(1-2Part2):231-244
|
|
|
Supplementing Product Families with Behaviour
|
Peter Hofner,Ridha Khedri and Bernhard Moller
|
2011,5(1-2Part2):245-266
|
|
|
Living Models -- Ten Principles for Change-Driven Software Engineering
|
Ruth Breu,Berthold Agreiter,Matthias Farwick,Michael Felderer,Michael Hafner and Frank Innerhofer-Oberperfler
|
2011,5(1-2Part2):267-290
|
|
|
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development
|
Helmuth Partsch,Marcel Dausend,Dominik Gessenharter,Jens Kohlmeyer and Alexander Raschke
|
2011,5(1-2Part2):291-312
|
|
|
A Short Catalogue of Abstraction Patterns for Model-Based Software Engineering
|
Bran V. Selic
|
2011,5(1-2Part2):313-334
|
|
|
TDL -- Steps Beyond Giotto: A Case for Automated Software Construction
|
Wolfgang Pree,Josef Templ,Peter Hintenaus,Andreas Naderlinger and Johannes Pletzer
|
2011,5(1-2Part2):335-354
|
|
|
Digital Graffiti -- A Framework for Implementing Location-Based Systems
|
Gustav Pomberger
|
2011,5(1-2Part2):355-377
|
|
|
The photo of Prof. Barry W. Boehm with signature
|
Barry W. Boehm
|
2011,5(3):410-410
|
|
