Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

[ISO19005] Norm ISO 19005-1. Document Management - Electronic document file format for long
term preservation - Part 1: Use of PDF 1.4 (PDF/A-1), 2005
[ITU04]
International Telecommunication Union (Hrsg.): ITU-T Recommendation Z.120 - Message
Sequence Chart (MSC), Genf: ITU, 2004.
[JZM07] JIANG, Ke;ZHANG, Lei; MIYAKE, Shigeru: OCL4X: An Action Semantics Language for
UML Model Execution (COMPSAC 2007 - Computer Software and Applications Conference).
31st Annual International Volume 1, 2007.
[KBS06]
[KM07]
Koordinierungs- und Beratungsstelle der Bundesregierung für Informationstechnik in
der Bundesverwaltung (Hrsg.): V-Modell XT, Version 1.0.2/2.0.5/1.2.1, 2006
KURZ, Sonja-Lara; MILIUS, Birgit: Der Functional-Dependency-Test zur Ableitung von
Teilfunktionen. In: Signal+Draht 11 (2007); S. 28 ff.
[KNO07] KNOLLMANN, Volker: UML-basierte Testfall- und Systemmodelle für die Eisenbahn Leitund
Sicherungstechnik, Technische Universität Braunschweig, Fakultät für Maschinenbau,
Diss. 2007
[KOR815] Konzernrichtlinie 815; Hrsg: DB Netz AG: Bahnübergänge planen und instandhalten,
2002
[LAM02] LAMPORT, Leslie: Specifying Systems: The TLA+ Language and Tools for Hardware and
Software Engineers. Addison-Wesley Professional, 2002. - ISBN: 032114306X
[LET05]
LETTRARI, Marc: Efficient state space exploration of reactive object-oriented programs,
Universität Oldenburg, Fakultät II – Informatik, Wirtschafts- und Rechtswissenschaften,
Department für Informatik, Diss. 2005
[LOR97] LORENZ, Manfred: Stellwerkstechnik, Band 1: Bahnhofssicherungstechnik, Selbstverlag,
1997
[MAR79] DEMARCO, Tom: Structured Analysis and System Specification. Prentice Hall International,
1979. - ISBN: 0138543801
[MEY75] MEYHAK, Hermann: Entscheidungstabellentechnik, Heidelberg: I. H. Sauer-Verlag
GmbH. - ISBN: 3793876187
[MOD55] Norm Def Stan 00-55:97, British Ministry of Defence (Hrsg.): Requirements for safety
related software in defence equipment
[MTA98] MELLOR, Stephen J.; TOCKEY, Stephen R.; ARTHAUD, Rodolphe; LEBLANC, Phillipe:
An Action Language for UML: Proposal for a Precise Execution Semantics; In: Lecture
Notes In Computer Science, Vol. 1618, London: Springer, 1998. - ISBN 3540662529
[NAP04] NAUMANN, Peter; PACHL, Jörn: Leit- und Sicherungstechnik im Bahnbetrieb - Fachlexikon,
2. Aufl. Hamburg: Tetzlaff Verlag GmbH & Co. KG, 2004 - ISBN: 3878147023
[OMG06-1] OBJECT MANAGMENT GROUP (Hrsg.): UML 2.0 OCL Specification; OMG Dokument
ptc/2005-06-06
[OMG06-2] OBJECT MANAGEMENT GROUP (Hrsg.): Business Process Modeling Notation Specification;
OMG Dokument dtc/06- 01-01
[OMG07-1] OBJECT MANAGEMENT GROUP (Hrsg.): Systems Modeling Language (SysML) Specification
V1.0; OMG Document formal/2007-09-01
[OMG07-2] OBJECT MANAGEMENT GROUP (Hrsg.): Unified Modeling Language (UML): Superstructure,
Version 2.1.1; OMG Document formal/2007-02-05
151