Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bibliography<br />
[39] ——, ““Open Proof” for Railway Safety Software-A Potential Way-Out of Vendor Lock-in<br />
Advancing to Standardization, Transparency, and Software Security,” FORMS/FORMAT<br />
2010, pp. 5–38, 2011.<br />
[40] K. Hase, “SIGNALLING & TELECOMMUNICATIONS SUPPLEMENT – openETCS:<br />
Applying ’Open Proofs’ to European Train Control,” European Railway Review, vol. 18,<br />
no. 3, p. 30, 2012.<br />
[41] M. Henning and S. Vinoski, Advanced CORBA Programming with C++. Addision-W<strong>es</strong>ley<br />
Publishing Company, 1999.<br />
[42] M. M. Henry S. Thompson, David Beech and N. Mendelsohn, “XML Schema<br />
Part 1: Structur<strong>es</strong> Second Edition,” W3C, Tech. Rep. W3C Recommendation<br />
28 October 2004, October 2004, acc<strong>es</strong>sed October 23rd, 2012. [Online]. Available:<br />
http://www.w3.org/TR/xmlschema-1/<br />
[43] “ITEA2 - information technology for european advancement,” ITEA, acc<strong>es</strong>sed October<br />
23rd, 2012. [Online]. Available: http://www.itea2.org/<br />
[44] J. M. Joaquin Miller, “MDA Guide – Version 1.0.1,” June 2003, acc<strong>es</strong>sed October 23rd,<br />
2012. [Online]. Available: http://www.omg.org/cgi-bin/doc?omg/03-06-01<br />
[45] S. Kelly, “Towards a comprehensive metacase and came environment,” <strong>Ph</strong>.D. dissertation,<br />
University of Jyväskylä, Jyväskylä, 1997.<br />
Conceptual, Architectural, Functional and Usability Advanc<strong>es</strong> in MetaEdit+<br />
[46] S. Kelly and J.-P. Tolvanen, Domain-Specific Modeling. JOHN WILEY & SONS, INC.,<br />
2008.<br />
[47] “The linux kernel archiv<strong>es</strong>,” kernel.org, acc<strong>es</strong>sed October 23rd, 2012. [Online]. Available:<br />
http://www.kernel.org/<br />
[48] D. E. Knuth, “Backus normal form vs. backus naur form,” Communications of the ACM 7,<br />
vol. 12, p. 735–736, 1964.<br />
[49] H. Kopetz and G. Grunsteidl, “TTP - a time-triggered protocol for fault-tolerant realtim<strong>es</strong>ystems,”<br />
in The Twenty-Third International Symposium on Fault-Tolerant Computing,<br />
Dig<strong>es</strong>t of Papers, Toulouse, France, IEEE. FTCS-23, 1993.<br />
[50] H. Krahn, B. Rumpe, and S. Völkel, “Integrated definition of abstract and<br />
concrete syntax for textual languag<strong>es</strong>,” Model Driven Engineering Languag<strong>es</strong> and<br />
Systems, pp. 286–300, 2007, acc<strong>es</strong>sed February 25th, 2013. [Online]. Available:<br />
http://www.se-rwth.de/~rumpe/publications20042008/KRV_Models_07.pdf<br />
[51] ——, “Monticore: Modular development of textual domain specific languag<strong>es</strong>,” Objects,<br />
Components, Models and Patterns, pp. 297–315, 2008, acc<strong>es</strong>sed February 25th,<br />
2013. [Online]. Available: http://www.se-rwth.de/~rumpe/publications20042008/KRV_<br />
TOOLS_08.pdf<br />
290