Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Deussen, Peter"'
Autor:
Deussen, Peter H., Tobies, Stephan
We give a formalization of the notion of test purpose based on (suitably restricted) Message Sequence Charts. We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.
C
C
Externí odkaz:
http://arxiv.org/abs/cs/0412100
Autor:
Casale, Giuliano, Chesta, Cristina, Deussen, Peter, Di Nitto, Elisabetta, Gouvas, Panagiotis, Koussouris, Sotiris, Stankovski, Vlado, Symeonidis, Andreas, Vlassiou, Vlassis, Zafeiropoulos, Anastasios, Zhao, Zhiming
Publikováno v:
In Procedia Computer Science 2016 97:34-42
Autor:
Adler, Rasmus, Alcala, Araceli, Anton, Marie, Armbruster, Tristan, Arntzen, Stefan, Aschenbrenner, Doris, Klaus-Dieter Axt, Baumgartner, Renate, Becker, Nikolas, Beiter, Rebecca, Bendig, Thomas, Benecke, Ralf, Benner, Philipp, Bernhardt, Bastian, Beyer, Paul, Bich, Karsten, Biehler, Jan, Bieringer, Lukas, Binder, Andreas, Birska, Sylwia, Blum, André, Böhm, John, Bohn, Jürgen, Bollgrün, Patrick, Börkircher, Mikko, Borowski, Kevin, Bracht, Oliver, Brand, Matthias, Buchsbaum, Katharina, Budde, Lena Marie, Bühler, Joachim, Bunte, Andreas, Burchardt, Aljoscha, Burton, Simon, Büttel, Tim, Coester, Ulla, Cremers, Armin B., Czarny, Damian A., Da Silva, Lucas, Dang, David, Däßler, Klaus, De Meer, Jan, Demel, Axel, Deussen, Peter, Dickhaut, Ernestine, Dittrich, Eckhard, Dittrich, Alexander, Khac, Lilian Do, Dotzauer, Felix, Drzyzga, Gilbert, Ebers, Martin, Elmas, Filiz, Elmer, Stefan, Esche, Marko, Fehlandt, Benjamin, Féret, Leander, Fetic, Lajla, Fliehe, Marc, Fligge-Niebling, Julia, Flögel, Werner, Frank, Matthias, Franken, Annika, Fränzle, Martin, Fraunholz, Christian, Frierson, Charlotte, Gauer, Florian, Gause, Clemens, Gautier, Antoine, Gebauer, Marc, Geiger, Bernd, Genovesi, Sergio, Gerst, Detlef, Geschwill, Simon, Gesmann-Nuissl, Dagmar, Glasmeier, Nora Helena, Glatzner, Ludwig, Gnaudschun, Jens, Goebel, Marius, Grau, Dominik, Gromov, Viacheslav, Großmann, Jürgen, Grotepass, Jürgen, Gruchmann, Yvonne, Günther, Norman, Haimerl, Martin, Hattenkofer, Christian, Hauer, Marc, Haufe, Stefan, Heider, Elias, Heiles, Jürgen, Heinemann, Tobias, Hein, Tabea, Heinemann, Claudia, Henseler, Christoph, Hildesheim, Wolfgang, Hilgert, Barbara, Höhndorf, Lukas, Holoyad, Taras, Hösl, Maximilian, Jaschke, Alexander, Jung, Barbara, Just, Vanessa, Kacyniak, Agnieszka, Kaiser, Thomas, Kärkkäinen, Leo, Kiefer, Jan, Kim, So-Jin, Kirsch, Roland, Nils-Olaf Klabunde, Kläs, Michael, Kleen, Philip, Kleinfeld, Anette, Klingel, Anita, Klippert, Jürgen, Kloiber, Julia, Knaak, Mirko, Knauer, David, Knauer, Ricardo, Knaut, Andrea, Knecht, Franz, Knicker, Mario, Knödler, Marco, Knopf, Harry, Köhler, Martin F., Kolf, Christian, Kolliarakis, Georgios, Koska, Christopher, Kosslers, Sebastian, Kossow, Roland, Kothe, Stefan, Kotte, Sebastian, Krafft, Tobias D., Kratzer, Klaus, Kraus, Tom, Krebsz, Markus, Kremer, Tim, Kriegsmann, Sebastian, Kröll, Mirco, Krüger, Antonio, Krüger, Katja, Brandao, Jacques Kruse, Kubes, Tanja, Kuch, Susanne, Kunkel, Stefan, Küttner, Benjamin, Lachenmaier, Jens F., Laible, Holger, Lakermann, Joel, Lang, Fredi, Latniak, Erich, Lederer, Elisa, Legat, Christoph, Lehmhaus, Lorenz, Mahei Manhai Li, Lipka, Michael, Loevenich, Daniel, Lorenz, Jeanette Miriam, Löwen, Ulrich, Ma, Jackie, Maack, Stefan, Mackert, Manuela, Mahr, Sabine, Margreiter, Maximilian, Markert, Karla, Maspfuhl, Oliver, Matthias, Isabel, Matzke, Gerd, Meeß, Henri, Merget, Iris, Meschede, Ralf, Meyer, Martin, Meyer, Olga, Meyne, Sascha, Mihatsch, Alexander, Mirnig, Alexander G., Mockenhaupt, Andreas, Möhlmann, Eike, Mörike, Michael, Müller, Andreas W., Müller, Christian, Nad, Tomislav, Nahler, Gert, Nawroth, Andreas, Neuhüttler, Jens, Neumann-Brosig, Matthias, Neveling, Marc, Nickel, Peter, Niehaus, Jürgen, Nienaber, Reimund, Nöbel, Johannes, Nowack, Antje, O'Sullivan, Shane, Obert, Otto, Ohliger, Ursula, Page, Rebecca, Papenbrock, Jochen, Pechmann, Ludwig, Peifer, Yannick, Pekerman, Robin H., Pentenrieder, Annelie, Peters, Christoph, Petsch, Fabian, Petschick, Katharina, Peylo, Christoph, Pflumm, Daniel, Philipp, Patrick, Pöhls, Heinrich C., Poignée, Frank, Poretschkin, Maximilian, Portier, Martin, Prager, Jens, Putzer, Henrik J., Rabe, Alexander, Rauh, Peter, Reese, Hendrik A., Rehm, Georg, Reinel, Claudia, Rennoch, Alex, Roleff, Klaus, Roscher, Karsten, Rosenthal, Michael, Rösler, Jan, Röttger, Nils, Runze, Gerhard, Ruskowski, Martin, Saerbeck, Martin, Sanner, Peter K., Sawilla, Ingo, Schacht, Mario, Schemel, Peter, Scheurenbrand, Kim Marvin, Schildt, Maximilian, Schirgi, David, Schleipen, Miriam, Schlesinger, Dirk, Schlicker, Nadine, Schmid, Thomas, Michael-Christian Schmidt, Schmidt, Thomas, Schmidt, Christoph, Schmidtke, Jörg, Schmiedchen, Frank, Schmitz, Thorsten, Schneider, Jonas, Schoepe, Detlef, Schröder, Wolfgang M., Schröter, Welf, Schlug, Stephan, Schüßler, Tim, Schütte, Jan Fiete, Schwendicke, Falk, Seeliger, Adrian, Seifert, Eberhard K., Seitz, Jan, Annegrit Seyerlein-Klug, Shahinfar, Fatemeh, Simbeck, Katharina, Skuin, Andreas, Sliwa, Ariana, Spallek, Reiner, Spangenberg, Felix, Sperl, Philip, Spitzer, Patrick, Spreiter, Lucas, Steimers, André, Steininger, Rosmarie, Steinke, Jannis, Stemmer, Mira, Stock, Patricia, Stoll, Julia, Strobel, Christina, Stuch, Oliver, Stürenburg, Johannes, Surdina, Alexandra, Ernö Szivek, Tagiew, Rustam, Ternes, Neal, Terstegen, Sebastian, Tettke, Martin, Traphöner, Ralph, Traschewski, Holk, Treier, Volker, Trippel, Thorsten, Unverricht, Kristina, Usländer, Thomas, Uslar, Mathias, Van Hasselt, Tobias, Veith, Eric MSP, Vijayagopal, Sharan, Vock, Silvia, Vollmer, Thomas, Von Geibler, Justus, Von Twickel, Arndt, Waechter, Sabine, Wagner, Kirsten, Wagner-Stürz, David, Wahl, Siegfried, Wahlster, Wolfgang, Walter, Robert, Waschulzik, Thomas, Waurick, Steffen, Wedel, Marco, Wegener, Dieter, Weicken, Eva, Wenzel, Felix, Westhoven, Martin, Wildpanner, Bernd, Winter, Dorothea, Winter, Johannes, Winter, Mario, Winterhalter, Christoph, Wirjadi, Oliver, Wohlrapp, Sebastian, Wolf, Susanna, Wrobel, Stefan, Wunderle, Alexander, Wutz, Michael, YiJunsong, Jason, Zaunseder, Sebastian, Zehlike, Meike, Zidowitz, Stephan, Ziegler, Wolfgang, Ziehn, Jens, Zillner, Sonja, Zucker, Bettina
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fd35a20a95c21bfd260bbeddf14f728f
Autor:
Gallego-Nicasio Crespo, Beatriz, PRIETO, Elsa, RIOS, Erkuden, Rak, Massimiliano, Deussen, Peter, Samarati, Pierangela, Cascella, Roberto, Braun, Simons, Krenn, Stephan, Lörunser, Thomas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=r3c4b2081b22::14ac5347fdb165fff1a885bebd9a068b
Die Cloud wird reichhaltiger, flexibler und dynamischer. Die Cloud ermöglicht es innerhalb kürzester Zeit und ohne Investitionsaufwände, IT-Dienstleistungen in Anspruch zu nehmen. In der ÖFIT-Expertise werden im Wesentlichen die folgenden Themen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::850df7ed232c664e0cb4fba624961d28
https://publica.fraunhofer.de/handle/publica/296948
https://publica.fraunhofer.de/handle/publica/296948
Autor:
Deussen, Peter H.
Diese Arbeit behandelt einen Ansatz zur Verifikation verteilter Systeme. Zur Beschreibung des Verhaltens solcher Systeme verwenden wir die sog. Semiwörter, die eine spezielle Form von pomsets darstellen, sowie Mazurkiewiczspuren. Wir weisen nach, da
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3456::4636320978a1324e756ff28c427670d6
https://opus4.kobv.de/opus4-btu/files/50/diss_deussen.pdf
https://opus4.kobv.de/opus4-btu/files/50/diss_deussen.pdf
Neue Wege in der Lehre und Forschung an deutschen Hochschulen: Die Universität Karlsruhe (TH) entwickelte, erprobte und evaluierte Wege und Instrumente zur Verbesserung der Qualität mobilen und multimediagestützten Lebens, Lehrens und Lernens. An
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::483641072682e74e785c1eb8343e053b