BISS Monographs
ISSN: 1866-3052

Herausgeber: M. Gogolla, H.-J. Krejowski, B. Krieg-Brückner, J. Peleska, B.-H. Schlinghoff

Monographs of the Bremen Institute of Safe Systems

Bislang erschienene Bände:
Bd. 2: Till Mossakowski
Representations, Hierarchies and Graphs of Institutions
Bd. 14: Mark Richters
A Precise Approach to Validating UML Models and OCL Constraints
Bd. 17: Ralf Kollmann
Design Recovery Techniques for Object-Oriented Software Systems
Bd. 18: Axel Lankenau
The Bremen Autonomous Wheelchair Rolland : Self-Localization And Shared Control
Bd. 19: Haykal Tej
HOL-CSP: Mechanise Formal Development of Concurrent Processes
Bd. 21: Thomas Meyer
A Framework for Formal Representation and Transformational Optimisation of Executable Specifications
Bd. 22: Oliver Radfelder
Dreidimensional, interaktive und animierte Softwarevisualisierung zur Unterstützung im Softwareentwicklungsprozess
Bd. 23: Paul Ziemann
An Integrated Operational Semantics for a UML Core Based on Graph Transformation
Bd. 24: Kai Hübner
Symmetriesignaturen für bildbasierte Anwendungen in der Robotik
Bd. 25: Jan Bredereke
Maintaining families of rigorous requirements for embedded software systems


Bitte senden Sie mir per email Informationen zu Neuerscheinungen dieser Buchreihe zu.
email: