Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Literaturverzeichnis
[ALE02]
ALEXANDER, Ian F.; STEVENS, Richard: Writing Better Requirements, 1. Aufl., Addison-
Wesley Professional, 2002 - ISBN: 0321131630
[ARA05] ARABESTANI, Saeid: Formal verifizierbare objektorientierte Systemspezifikationen mit
UML für Eisenbahnsicherungssysteme, Technische Universität Braunschweig, FB 6:
Bauingenieur- und Vermessungswesen, Diss. 2005. - ISBN 3923325673
[ARG00] ARABESTANI, Saeid; GAYEN, Jan-Tecker: Objektorientierte Analyse zur Modellierung im
Eisenbahnwesen. In: Signal+Draht (1+2) 2000; S. 20 ff.
[BDM98] BEHM, Patrick; DESFORGES, Pierre; MEYNADIER, Jean-Marc: METEOR: An Industrial
Success in Formal Development. In: Second conference on the B method, Montpellier,
France, 1998
[BOE88] BOEHM, Barry W: A Spiral Model of Software Development and Enhancement. In: IEEE
Computer. Vol. 21, Ausg. 5, Mai 1988, S. 61-72
[BRA05] BRABAND, Jens: Risikoanalysen in der Eisenbahnautomatisierung, 1. Aufl. Hamburg:
Eurailpress Tetzlaff-Hestra GmbH & Co. KG, 2005. - ISBN 3777103357
[BCD07] BROY, Manfred; CRANE, Michelle; DINGEL, Jürgen; HARTMAN, Alan; RUMPE, Bernhard;
SELIC, Bran: 2nd UML 2 Semantics Symposium: Formal Semantics for UML. In:
Models in Software Engineering. Workshops and Symposia at Models 2006. Genoa.
LNCS 4364, Springer, Januar 2007
[CGP00] CLARKE, Edmund M.; GRUMBERG, Orna; PELED, Doron: Model Checking, 2. Aufl. Cambridge:
The MIT Press, 2000. - ISBN 0262032708
[COC03] COCKBURN, Alistair: Use-Cases effektiv erstellen, 1. Aufl. Bonn: mitp-Verlag, 2003 -
ISBN: 3826613449
[COC01] COCKBURN, Alistair: Agile Software Developement, 1. Aufl., Addison-Wesley Professional,
2001 - ISBN: 0201699699
[COC93] COCKBURN, Alistair: Unraveling incremental developement,
http://alistair.cockburn.us/index.php/Unraveling_incremental_development, Abruf
vom 01.06.2008
[COH08] COHEN, Moshe; Telelogic AB (Hrsg.): Model Driven Testing: Your Secret to Survival;
Telelogic White Paper; Version 2.1, 2008
[CPH87] CASPI, P.; PILAUD, D.; HALBWACHS, N.; PLACIE, J. A.: LUSTRE: a declarative language
for real-time programming. In: Annual Symposium on Principles of Programming Languages,
Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of
programming languages, S. 178 - 188, München, 1987
[DB09]
Deutsche Bahn AG, Systemverbund Bahn, DB Systemtechnik (Hrsg.): Schnittstelle zwischen
Weichenanschaltbaugruppe und Weichenantrieb - funktionale Anforderungsspezifikation
(FAS) -, Version 1.0, 2009.
149