Katalog der Deutschen Nationalbibliothek

Go to:

Media

Series
Series
For availability details display full record

Bremer Institut für Sichere Systeme

BISS monographs : monographs of the Bremen Institute of Safe Systems

Berlin: Logos-Verl. et al., 1998-

Title

BISS monographs : monographs of the Bremen Institute of Safe Systems

Involved 

Bremer Institut für Sichere Systeme (Verfasser)

Published

Berlin: Logos-Verl.
Aachen: Shaker (teils)
Bremen: Bremer Inst. für Sichere Systeme (teils)
1998-

Publication history

1.1998 -

ISSN

1435-8611 BISS monographs

Language

Deutsch
Englisch

Country

Deutschland

Topic

Informatik

Further information

Ersch. unregelmäßig

Record ID

02520078X

In this series

show all

A framework for formal representation and transformational optimisation of executable specifications

A generic calculus of transformations

A precise approach to validating UML models and OCL constraints

Algebraic system specification and development : survey and annotated bibliography

An integrated operational semantics for a UML core based on graph transformation

Design recovery techniques for object oriented software systems

Dreidimensionale, interaktive und animierte Softwarevisualisierung zur Unterstützung im Softwareentwicklungsprozess

Formalisierung objektorientierter Datenbanken auf der Grundlage von ODMG

HOL-CSP : mechanised formal devlopment mof concurrent processes

HOL-Z, an integrated formal support environment for Z in Isabelle/HOL

Inkrementelles Graphlayout im Visualisierungssystem da Vinci

Maintaining families of rigorous requirements for embedded software systems

Methodology for the development of microprocessor based safety critical systems

Panoramic image processing and route navigation

Representations, hierarchies and graphs of institutions

Schematransformationen in objektorientierten Informationssystemen

Structural decomposition of hybrid systems

Structural decomposition of timed CPS and its application in real time testing

Symmetriesignaturen für bildbasierte Anwendungen in der Robotik

The Bremen autonomous wheelchair "Rolland" : self-localization and shared control

Tool integration in a functional programming language

Tools for system development and verification : workshop, proceedings, Bremen, Germany, July 1996 ; [proceedings of the Workshop on Tool Support for System Development and Verification]

UniForM workbench : universelle Entwicklungsumgebung für formale Methoden ; Schlußbericht Januar 1999
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal