1
0
0
News
Special Theme
ercim-news.ercim.eu
ERCIM News, the quarterly magazine of the European Research Consortium for Informatics and Mathematics
AWPN – P R O G R A M M (vorläufig) 13. Workshop ...www.informatik.uni-hamburg.de › TGI › events › awpn06 › awpn-progra...
www2.informatik.uni-hamburg.de
· Kathrin Kaschner, Rostock; Peter Massuthe, Berlin, Karsten Wolf, Rostock. Symbolische Repräsentation von Bedienungsanleitungen für Services.
Netzwerk-Profile
LinkedIn: Ann-Kathrin Kaschner | LinkedIn
Werden Sie Mitglied von LinkedIn und erhalten Sie Zugriff auf das vollständige Profil von Ann-Kathrin Kaschner. Völlig kostenlos! Als Mitglied von LinkedIn ...
Facebook: Kathrin Kaschner | Facebook
Kathrin Kaschner is on Facebook. Join Facebook to connect with Kathrin Kaschner and others you may know. Facebook gives people the power to share and makes the world
Management & Beteiligungen
Ann Kathrin Kaschner in Zürich aus Deutschland | Moneyhouse
www.moneyhouse.ch
Ann Kathrin Kaschner in Zürich aus Deutschland ✓ hat ein Mandat bei CSD Ingenieure AG - mit über 3 Personen verbunden ✓
Herkunft
Kathrin Kaschner - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Kathrin Kaschner. Dr.-Ing. Universität Rostock Germany. Dissertation: Behavioral Testing of Services. Mathematics Subject Classification: 68—Computer ...
Missing: NWCRI" | Must include: NWCRI"
Bücher
DNB, Katalog der Deutschen Nationalbibliothek
portal.dnb.de
Behavioral testing of services / vorgelegt von Kathrin Kaschner Person(en) Kaschner, Kathrin (Verfasser) Verlag: Rostock Zeitliche Einordnung: Erscheinungsdatum: [2015] Umfang/Format: 179 Seiten : Diagramme (schwarz-weiß) ; 30 cm
Applications and Theory of Petri Nets: 31st International Conference,...
books.google.de
... Hewelt Lom Hillah Kunihiko Hiraishi Steve Hostettler Kathrin Kaschner Kais Klai Jetty Kleijn Michael Koehler-Bussmeier Fabrice Kordon Christian Krause Ivan ...
Business Process Management: 8th International Conference, BPM 2010,...
books.google.de
... The Netherlands Xiaohui Zhao, Australia Christian Zirpins, Germany Sonja Kabicher Udo Kannengiesser Kathrin Kaschner Nico Kerschbaumer Markus Klems ...
Formal Methods and Software Engineering: 12th International...
books.google.de
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November...
Dokumente zum Namen
(Parifonds Bau anerkannt) am 18. Februar in engineers.ch
engineers.ch
Ann- Kathrin Kaschner Zusammenfassung: Fragen und Antworten vor- bereiten auf Test. Bernd Riemensperger Mittagessen.
Formal Modelling and Verification in Service-Oriented ...
rap.dsi.unifi.it
Challenges in a Service-Oriented World by Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann,. Peter Massuthe, and Christian ...
[PDF] Automatische Synthese von Verhaltensadaptern zwischen Services...
hugepdf.com
Download Automatische Synthese von Verhaltensadaptern zwischen Services...
Testfallgenerierung für interagierende Services Testfallgenerierung ...
metrik.informatik.hu-berlin.de
Kathrin Kaschner, Niels Lohmann, Karsten Wolf. ATAMI ▫ Berlin ▫ 15. Januar Kathrin Kaschner, Niels Lohmann, Karsten Wolf ...
Wissenschaftliche Veröffentlichungen
DFG - GEPRIS - Automatische Generierung von ...
gepris.dfg.de
Imperial College Kathrin Kaschner and Niels Lohmann; Covering places and transitions in open nets. In Marlon Dumas, Manfred Reichert, and Ming-Chien Shan, editors. Business Process Managernent, 6th international Conference, BPM 2008, Milan, Italy, September 1-4, 2008, Proceedings, volume of Lecture Notes in Computer Science, pages
Abgeschlossene Promotionen und Habilitationen - Informatikinstitute -...
www.informatik.uni-rostock.de
Universität Rostock
DFG Gepris - Projektansicht: (drucken)
gepris.dfg.de
Kathrin Kaschner and Karsten Wolf: Set Algebra for Service Behavior: Applications and Constructions. In Umeshwar Dayal, Johann Eder, Jana Koehler, and ...
Veröffentlichungen allgemein
Conformance Testing for Asynchronously Communicating Services ...link.springer.com › chapter
link.springer.com
Authors; Authors and affiliations. Kathrin Kaschner. Kathrin Kaschner Institut für InformatikUniversität RostockRostockGermany. Conference paper.
Safira: Implementing set algebra for service behavior - researchr ...researchr.org › publication › Kaschner10
researchr.org
Kathrin Kaschner. Safira: Implementing set algebra for service behavior. In Christian Gierds, Jan Sürmeli, editors, 2nd Central-European Workshop on ...
Kathrin Kaschner - Deutsche Digitale Bibliothek
www.deutsche-digitale-bibliothek.de
Kathrin Kaschner. Link auf diese Seite. Hinweis zum Datenschutz Mit Klick auf "Einverstanden" können Sie diese Seite in sozialen Netzwerken weiterempfehlen. Dabei besteht die Möglichkeit, dass Daten von Ihrem Computer zum jeweiligen Anbieter sowie Daten des …
Google Summer of Code Ideas - Eclipsepedia
wiki.eclipse.org
· Simon Moser, Simon Moser, Daniel Luebke (BPELUnit), Tammo van Lessen (Apache ODE), Kathrin Kaschner from University of Rostock, Germany.
Artikel & Meinungen
ASM mailing list (): 2nd CfP Domain Specific Mpages.mtu.edu › ~wallace › asmforum-l › archive
pages.mtu.edu
Gregor Engels, Universität Paderborn * Dirk Fahland, HU Berlin * Joachim Fischer, HU Berlin * Kathrin Kaschner, Universität Rostock * Dagmar Koss, TU ...
ASM mailing list (): CfP: Workshop on Domain-s
pages.mtu.edu
* Kathrin Kaschner, Universität Rostock * Dagmar Koss, TU München * Niels Lohmann, Universität Rostock * Roman Nagy, microTOOL GmbH * Birgit Penzenstadler, TU
Sonstiges
Ann-Kathrin Kaschner | LinkedIn
www.linkedin.com
View Ann-Kathrin Kaschner's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Ann-Kathrin Kaschner ...
Kathrin Kaschner - researchr alias
researchr.org
Publications by 'Kathrin Kaschner' Automatic Test Case Generation for Interacting ServicesKathrin Kaschner, Niels Lohmann. icsoc 2009: [doi] ...
Kathrin Kaschner (kathrinkaschner) – Profil | Pinterest
www.pinterest.de
Sieh dir an, was Kathrin Kaschner (kathrinkaschner) auf Pinterest, der weltweit größten Sammlung von Ideen, entdeckt hat.
Kathrin Kaschner
www.infona.pl
Kathrin Kaschner. Details · Publications ... Kathrin Kaschner, Karsten Wolf · Business Process Management , Processes and Services. Compatibility of behavior ...
Ann-Kathin Kaschner - BAW Wanderleiterin - MeinWanderleiter.ch
meinwanderleiter.ch
Finden Sie ausgebildete BAW Wanderleiter/-innen für Ihre Wanderungen, Schneeschuh- oder Trekkingtouren sowie Exkursionen in der Schweiz und Liechtenstein.
Business Process Management - Term Paper
www.termpaperwarehouse.com
Read this essay on Business Process Management. Come browse our large digital warehouse of free sample essays. Get the knowledge you need in order to pass your...
Person:Fahland – GRK-Wiki
metrik.informatik.hu-berlin.de
... Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models.
Automatic Test Case Generation for Interacting Services
www.infona.pl
Service-oriented architectures propose loosely coupled interacting services as building blocks for distributed applications. Since distributed services...
Analysis Techniques for Service Models - PDF Free Downloaddocplayer.net › Analysis-techniques-f...
docplayer.net
IBFI, Schloss Dagstuhl, Germany, [10] Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolische Repräsentation von Bedienungsanleitungen für ...
DBLP: Niels Lohmann
vldbarc.org
Kathrin Kaschner, Niels Lohmann: Does my service have unspecified behavior? ZEUS 2009: , Electronic Edition · pubzone.org · CiteSeerX · Google ...
Workshop:Test – GRK-Wiki
metrik.informatik.hu-berlin.de
Kathrin Kaschner : Uni Rostock : Testfallgenerierung für Interagierende Services: 11:30 : 12:40 : Mittagspause : 12:40
Formal Concept Analysis - PDF Free Download - DocPlayer.netdocplayer.net › Formal-concept-analysis
docplayer.net
Test Suite Generation for Services Kathrin Kaschner and Niels Lohmann WESOA Sydney 1 December http://service technology.org/wesoa2008 UNIVERSITÄT ...
Automatic Test Case Generation for Interacting Servicesciteseerx.ist.psu.edu › viewdoc › summary
citeseerx.ist.psu.edu
BibTeX. @MISC{Kaschner_automatictest, author = {Kathrin Kaschner and Niels Lohmann}, title = {Automatic Test Case Generation for Interacting Services},
Services und ihre Komposition - PDF Kostenfreier Download
docplayer.org
4 Gutachter Katharina Görlach Kathrin Kaschner Oliver Kopp Niels Lohmann Ganna Monakova Ralph Mietzner Olivia Oanea Dieter H. Roller Steve Strauch Tobias Unger Sema
Jahresbericht Institut für Informatik - Hu - doczzdoczz.net › doc › jahresbericht institut-für-informatik---hu
doczz.net
KARSTEN SCHMIDT Mitarbeiter: KATHRIN KASCHNER Partnerübergreifende Geschäftsprozesse werden aus Services zusammengesetzt und bilden ihrerseits einen ...
DBLP: Dirk Fahland
vldbarc.org
... Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner: Analysis Techniques for Service Models.
CiteSeerX — Active Bibliography: Analyzing BPEL4Chor: Verification...
citeseer.uark.edu
Automatic Test Case Generation for Services – Kathrin Kaschner, Niels Lohmann. Fixing Deadlocking Service Choreographies Using a Simulation-based Graph ...
DBLife Person
dblife.cs.wisc.edu
Kathrin Kaschner · Kathrin Keller · Kathrin Kirchner · Kathrin Klee · Kathrin Koch · Kathrin Konczak · Kathrin Lehmann · Kathrin Maria Gerling · Kathrin Meissner ...
ATAMI Gesponsert von: - PDF Free Download
docplayer.org
Kathrin Kaschner schloss ihr Informatikstudium an der Humboldt-Universität zu Berlin im Jahr erfolgreich ab und ist seitdem wissenschaftliche Mitarbeiterin ...
On Modelling and Validation of the MQTT IoT Protocol for M2M ...technodocbox.com › Internet_Technology
technodocbox.com
https://www.linkedin.com/in/scolestock Let's talk IoT - why ... Managing test suites for services Kathrin Kaschner Universität Rostock, ...
Verwandte Suchanfragen zu Kathrin Kaschner
| Niels Lohmann Daniela Weinberg Dirk Fahland | Karsten Wolf Olivia Oanea Dagmar Koss | Sonja Gysel Nora Hans Enrico Seib |
Personen Vorname "Kathrin" (25568) Name "Kaschner" (202) |
sortiert nach Relevanz / Datum