Der Einsatz von formalen Techniken im Bereich der Eisenbahnsicherungstechnik stellt gegenwärtig eine der größten Herausforderungen in der Kooperation von akademischer Welt und Industrie dar. Ein wichtiger Meilenstein war dabei die Erarbeitung eines entsprechenden Anforderungskatalogs durch EBA, Industrie, DB AG und Wissenschaft, der in einem Beitrag in "Signal+Draht", 1999, Heft 10 (IuD-Bestell-Nummer: I9927041) besprochen wurde. Der Artikel schließt an den darin vorgestellten Erkenntnissen an und stellt ein praxistaugliches Instrumentarium aus Methodenbeurteilung und Umfeldanalyse zur Erleichterung der Entscheidungsfindung für die dem jeweiligen Einsatzzweck optimal entsprechenden Beschreibungsmittel, Methoden und Werkzeuge vor.
Zusätzliche Aspekte zur Anwendung von formalen Techniken
Signal+Draht ; 93 , 7-8 ; 42-45
2001-01-01
4 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Zusätzliche Aspekte zur Anwendung von formalen Techniken
Tema Archive | 2001
|Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes
British Library Conference Proceedings | 2000
|Beispielhafte Anwendung einer formalen Unfallanalysemethode
IuD Bahn | 2006
|Beispielhafte Anwendung einer formalen Unfallanalysemethode
Online Contents | 2006
|Zusätzliche Eiweißfuttermittel
Catalogue agriculture | 1962
|