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