@book{Loeffler2006, title = {{E}inf{\"u}hrung in die Religionsphilosophie}, address = {Darmstadt}, author = {Winfried L{\"o}ffler}, editor = {Dieter Sch{\"o}necker and Niko Strobach}, publisher = {Wissenschaftliche Buchgesellschaft}, series = {Einf{\"u}hrungen Philosophie}, year = {2006}, biburl = {http://www.bibsonomy.org/bibtex/282fad47ba1e1ea0e3a2148ee8e825dcc/rafael}, keywords = {Gottesbeweis Religionsphilosophie } } @book{schon1983rpp, title = {{The Reflective Practitioner: How Professionals Think in Action}}, author = {D.A. Sch{\"o}n}, publisher = {Basic Books}, year = {1983}, biburl = {http://www.bibsonomy.org/bibtex/26b5cd160c764a98c0bc977dbea3fbef4/cabird}, description = {my huge bibtex}, date-added = {2008-01-20 20:38:27 -0800}, date-modified = {2008-01-20 20:38:29 -0800}, keywords = {imported } } @inproceedings{hearst93, title = {Customizing a Lexicon to Better Suit a Computational Task}, address = {Columbus, Ohio, USA}, author = {Marti Hearst and Hinrich Sch{\"u}tze}, booktitle = {Proceedings of the {ACL} {SIGLEX} Workshop}, year = {1993}, biburl = {http://www.bibsonomy.org/bibtex/28bd257b56371dd1b4cf9569ef89b63a9/hershbar}, description = {articles relating to my research, mainly}, keywords = {imported } } @inproceedings{DBLP:conf/iccs/OhrstromSU08, title = {Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles}, author = {Peter {\O}hrstr{\o}m and Henrik Sch{\"a}rfe and Sara L. Uckelman}, booktitle = {Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008)}, crossref = {DBLP:conf/iccs/2008}, editor = {Peter W. Eklund and Ollivier Haemmerl{\'e}}, pages = {74-87}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5113}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2c64afc13bdb02c4e28576ce3f518d6b9/iccs}, bibsource = {DBLP, http://dblp.uni-trier.de}, ee = {http://dx.doi.org/10.1007/978-3-540-70596-3_5}, isbn = {978-3-540-70595-6}, keywords = {2008 hypertext iccs lorhard ontology reality temporality } } @book{bs98, title = {Cortex: Statistics and Geometry of Neuronal Connectivity.}, address = {Heidelberg, Germany}, author = {V. Braitenberg and A. Sch\"{u}z}, edition = {second}, pages = {249}, publisher = {Springer-Verlag}, year = {1998}, biburl = {http://www.bibsonomy.org/bibtex/21c72991dfae166ff2baa3c92fdb083a3/anduviera}, keywords = {imported } } @inproceedings{Friske2005, title = {Von Use Cases zu Test Cases: Eine systematische Vorgehensweise}, author = {Mario Friske and Holger Schlingloff}, booktitle = {Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems}, editor = {T. Klein and B. Rumpe and B. Sch\"{a}tz}, month = {January}, number = {2005-01}, organization = {TU Braunschweig}, series = {Informatik-Bericht}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/2f6b393ba4b775ed86e82e35080e31fa5/ist_spl}, description = {MR: siehe auch anschliessende Arbeiten: [Friske2005b] [Friske2006] [Friske2007] in denen das Verfahren in ein Tool umgesetzt wird. Leider fehlt hierbei die Betrachtung der Testdaten. Ansonsten gibt es viele parallelen zu ScenTED in Bezug auf die Überführung von Use-Cases in Aktivitätsdiagramme insbesondere.}, abstract = {Anwendungsf¨alle (Use Cases) dienen oftmals nicht nur als Grundlage f¨ur den Systementwurf, sondern auch f¨ur System- und Abnahmetests. Die Ableitung der Testf¨alle geschieht jedoch oft intuitiv und unsystematisch. In dieser Arbeit beschreiben wir eine Methode zur systematischen Erzeugung von Testf¨allen aus Anwendungsfällen. In einem ersten Schritt wird der semantische Bezug zwischen Use Case Elementen und Systemfunktionen hergestellt. In einem zweiten Schritt werden die Use Cases aufbereitet und in Aktivit¨ats- Diagramme ¨uberf¨uhrt, die dann mit automatischen Testgenerierungswerkzeugen weiter verarbeitet werden k¨onnen. Im Gegensatz zu Ans¨atzen, die auf der vollautomatischen Analyse nat¨urlicher Sprache basieren, erlaubt unsere Vorgehensweise, alle normalerweise ben¨otigten Sprachelemente zu verwenden. Im Gegensatz zu informellen oder leitfadenbasierten Methoden kann unsere Methode gut durch automatisierte Werkzeuge unterstützt werden.}, keywords = {Use-Cases activity cases diagrams systemtest test } } @inproceedings{Friske2007, title = {Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen}, author = {Mario Friske and Holger Schlingloff}, booktitle = {Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems III}, editor = {M. Conrad and H. Giese and B. Rumpe and B. Sch\"{a}tz}, month = {January}, number = {2005-01}, organization = {TU Braunschweig}, series = {Informatik-Bericht}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/20f54cb7b5d54bf949000a2878214f2d0/ist_spl}, description = {MR: Entwicklung eines Werkzeugs zur automatischen Generierung von Aktivitätsdiagrammen aus Use-Cases.}, abstract = {In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggest¨utzt in UML-Aktivit¨atsdiagramme ¨uberf¨uhrt werden k¨onnen. Mit Hilfe eines von uns entwickeltenWerkzeuges formalisieren wir zun¨achst die Beschreibung der Interaktionen, um anschließend aus dem so erstellten formalisierten Anwendungsfallmodell mittels automatisierter Transformation ein UML-Modell zu generieren. Die notwendige Transformation definieren wir in abstrakter Form und setzen diese mit verschiedenen Transformationswerkzeugen um.}, keywords = {UML Use-Cases activity diagrams generation tool transformation } } @inproceedings{Varro2005GTbenchmark, title = {Benchmarking for Graph Transformation}, address = {Los Alamitos}, author = {G. {Varr\`o} and A. {Sch\"urr} and D. {Varr\'o}}, booktitle = {Proc. IEEE Symp. Visual Languages (VL/HCC)}, editor = {A. Amber and K. Zhang}, month = {9}, organization = {University of Texas at Dallas}, publisher = {IEEE Press}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/2c2d5b2ae87af6488b3e8ad5e84627fbc/pdeleenh}, timestamp = {2008.05.15}, date-modified = {2007-10-10 10:07:58 +0200}, owner = {pdeleenh}, keywords = {imported } } @inproceedings{TaentzerEtAl2007TIGER, title = {Generating Domain-Specific Model Editors with Complex Editing Commands}, address = {{Wilhelmsh\"ohe}, Kassel, Germany}, author = {Gabriele Taentzer and {Ren\'e} Schmutzler and Claudia Ermel}, booktitle = {Proceedings of AGTIVE 2007: Applications of Graph Transformations with Industrial Relevance}, editor = {Andy {Sch\"urr} and Manfred Nagl and Albert {Z\"undorf}}, month = {October}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/25bcb6233e8ad139a071489b289e9c300/pdeleenh}, timestamp = {2008.05.15}, date-added = {2007-10-15 16:21:50 +0200}, date-modified = {2007-10-15 16:26:05 +0200}, owner = {pdeleenh}, keywords = {graph transformation } } @inproceedings{Schuerr&al1995, title = {Graph grammar engineering with {P}{R}{O}{G}{R}{E}{S}}, author = {Andy {Sch\"urr} and A. J. Winter and Albert {Z\"undorf}}, editor = {W. Sch{\"a}fer and P. Botella}, pages = {219--234}, volume = {989}, year = {1995}, biburl = {http://www.bibsonomy.org/bibtex/2c3031275019cee6e66f78c6785b11c34/pdeleenh}, timestamp = {2008.05.15}, date-modified = {2007-10-10 10:27:34 +0200}, owner = {pdeleenh}, keywords = {imported } }