Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Deussen, Peter H."'
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
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
Publikováno v:
Proceeding of the 6th International Symposium: Software Engineering for Adaptive & Self-managing Systems; 5/23/2011, p118-127, 10p
Autor:
Höfig, Edzard, Deussen, Peter H.
Publikováno v:
International Journal of Autonomous and Adaptive Communications Systems; January 2011, Vol. 4 Issue: 1 p100-118, 19p