Volume 5, Number 1-2, 2011
Festschrift in Honor of Prof. Manfred Broy (Part 1:
Specification, Verification, Transformation, Concurrency)
- Martin Wirsing, Ruqian Lu:
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy.
1-6
- Leslie Lamport:
Euclid Writes an Algorithm: A Fairytale.
7-20
- Tobias Nipkow:
Majority Vote Algorithm Revisited Again.
21-28
- Jan Oliver Ringert, Bernhard Rumpe:
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing.
29-53
- Cliff B. Jones, Matthew J. Lovert:
Semantic Models for a Logic of Partial Functions.
55-76
- Bertrand Meyer:
Steps Towards a Theory and Calculus of Aliasing.
77-115
- Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel:
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
117-137
- Bjørnar Solhaug, Ketil Stølen:
Preservation of Policy Adherence under Refinement.
139-157
- Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Mondex: Engineering a Provable Secure Electronic Purse.
159-184
- Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
On Structured Model-Driven Transformations.
185-206
- Hartmut Ehrig, Karsten Gabriel:
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms.
207-229
Festschrift in Honor of Prof. Manfred Broy (Part 2:
Software Engineering)
- Christian Lengauer, Sven Apel:
Feature-Oriented System Design and Engineering.
231-244
- Peter Höfner, Ridha Khédri, Bernhard Möller:
Supplementing Product Families with Behaviour.
245-266
- Ruth Breu, Berthold Agreiter, Matthias Farwick, Michael Felderer, Michael Hafner, Frank Innerhofer-Oberperfler:
Living Models - Ten Principles for Change-Driven Software Engineering.
267-290
- Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke:
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.
291-312
- Bran Selic:
A Short Catalogue of Abstraction Patterns for Model-Based Software Engineering.
313-334
- Wolfgang Pree, Josef Templ, Peter Hintenaus, Andreas Naderlinger, Johannes Pletzer:
TDL - Steps Beyond Giotto: A Case for Automated Software Construction.
335-354
- Gustav Pomberger:
Digital Graffiti - A Framework for Implementing Location-Based Systems.
355-377
Volume 5, Number 3, 2011
Special Issue in Honor of Prof. Barry W. Boehm
- Leon J. Osterweil:
Preface.
411-413
- Walker Royce:
Measuring Agility and Architectural Integrity.
415-433
- Ross Jeffery:
Software Development Cost Modeling and Estimation Through a UNSW Lens.
435-442
- Neil G. Siegel:
Organizing Projects Around the Mitigation of Risks Arising from System Dynamic Behavior.
443-455
- Leon J. Osterweil:
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm.
457-474
- Lori A. Clarke:
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm.
475-485
- Gregory S. Hartman, William L. Scherlis:
Attentiveness: Design for Reactivity at Scale.
487-507
- Dines Bjørner:
On "The Right" Software.
509-523
- H. Dieter Rombach:
Empirical Software Engineering Models: Can They Become the Equivalent of Physical Laws in Traditional Engineering?
525-534
- Kouichi Kishida:
Polyphonic Aspects of Software Process Looking for Philosophical Foundation of Software Engineering.
535-546
Volume 5, Number 4, 2011
Special Issue on Computability and Computational Complexity
Last update Mon May 20 17:51:13 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
