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