Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
[OMG07-3] OBJECT MANAGEMENT GROUP (Hrsg.): Unified Modeling Language (UML): Infrastructure<br />
Definition, Version 2.1.2; OMG Document formal/2007-11-04<br />
[OMG07-4] OBJECT MANAGEMENT GROUP (Hrsg.): MOF 2.0/XMI Mapping, Version 2.1.1; OMG<br />
Document formal/2007-12-01<br />
[OPR06] PLAN, Oliver; KALKBRENNER, A.; SANDERS, Ralf; LEMKE, Oliver; HUNGAR, Hardi:<br />
OPRAIL Process Description; Version 2.1; 2006<br />
[OSC08-1] OSC EMBEDDED SYSTEMS AG (Hrsg.): Rhapsody TestConductor, http://www.osces.de/index.php?idcat=22,<br />
Abfruf vom 29.05.2008<br />
[OSC08-2] OSC EMBEDDED SYSTEMS AG (Hrsg.): Rhapsody ATG, http://www.osces.de/index.php?idcat=23,<br />
Abruf vom 29.05.2008<br />
[OSK06] OESTEREICH, Bernd, SCHRÖDER, Claudia; KLINK, Markus; ZOCKOLL, Guido: OEP - oose<br />
Engineering Process: Vorgehensleitfaden für agile Softwareprojekte, 1. Aufl. Heidelberg:<br />
Dpunkt Verlag, 2006. - ISBN: 3898644073<br />
[PAC04]<br />
[PET62]<br />
PACHL, Jörn: Systemtechnik des Schienenverkehrs, 4. Aufl. Wiesbaden: B. G. Teubner<br />
Verlag, 2004. - ISBN: 3519363836<br />
PETRI, Carl Adam: Kommunikation mit Automaten, Bonn: Schriften des Rheinisch-<br />
Westfälischen Institutes für instrumentelle Mathematik an der Universität Bonn, 1962<br />
[ROB06] ROBERTSON, Suzanne; ROBERTSON, James: Mastering the Requirements Process, 2.<br />
Aufl. Amsterdam: Addison-Wesley Longman, 2006. - ISBN: 0321419499<br />
[ROP99] ROPOHL, Günter: Allgemeine Technologie - Eine Systemtheorie der Technik, 2. Aufl. München:<br />
Hanser Fachbuchverlag, 1999. - ISBN 3446196064<br />
[ROY70] ROYCE, Winston: Managing the Development of Large Software Systems. In: Proceedings<br />
of IEEE WESCON 26, August 1970, S. 1-9<br />
[RQZ07] RUPP, Christian; ZENGLER, Barbara; QUEINS, Stefan: UML 2 Glasklar, 3. Aufl. München:<br />
Carl Hanser Verlag, 2007. - ISBN 3446411186<br />
[RUP98] Rational Software Corporation (Hrsg.): Rational Unified Process: Best Practices for Software<br />
Development Teams, 1998<br />
[SCH01] SCHNEIDER, Steve: The B-method. Palgrave Macmillan, 2001. - ISBN: 033379284X<br />
[SCN99] SCHNIEDER, Eckehard: Methoden der Automatisierung. Braunschweig: Vieweg Verlagsgesellschaft,<br />
1999. - ISBN: 3528065664<br />
[STA98] STANDISH GROUP (Hrsg.): A Recipe for Success, 1998<br />
[STM04] SCHINZ, Ingo; TOBEN, Tobe; MRUGALLA, Christian; WESPHAL, Bernd: The Rhapsody<br />
UML Verification Environment, S. 174-183, Second International Conference on Software<br />
Engineering and Formal Methods (SEFM’04), 2004<br />
[STÖ04] STÖRRLE, Harald; Universität München, IFI: Towards a formal Semantic of UML 2.0<br />
Activities; 2004.<br />
[UPL06]<br />
[VIK05]<br />
[WEI06]<br />
UTTING, Mark; PRETSCHNER, Alexander; LEGEARD, Bruno; University of Waikato, Departement<br />
of Computer Sciences: A Taxonomy of Model-based Testing, 2006<br />
VITOLINS, Valdis; KALNINS, Audris; University of Latvia: Sematics of UML 2.0 Acitvity<br />
Diagrams for Business Modeling by Means of Virtual Machine; 2005<br />
WEILKIENS, Tim: Systems Engineering mit SysML/UML, 1. Aufl. Heidelberg: Dpunkt<br />
Verlag, 2006. - ISBN 389864409X<br />
152