( en | de | ru )

 

Disambiguierung von "Pickin, Simon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Test Synthesis from UML Models of Distributed Software

, , , , , und . FORTE, Seite 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marcus Simon

Erstellung und Validierung eines Fragebogens für die Patientenbeurteilung der perioperativen Phase, PPP-Fragebogen. Uni Marburg, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Simon Schilling

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildung und zustandsbasierte Erweiterungen. Uni Wuppertal, (2009)

Simon Hohenester

Zur Bedeutung von Proteinkinasen und Phosphatidylinositol-Kinasen für (anti)-cholestatische und (anti)-apoptotische Effekte von Gallensäuren in der Leberzelle. Uni München, (2009)

Simon Pingel

Retrospektive Analyse potentieller Beeinflussungsmodelle auf die Reoperationsrate nach mechanischem und biologischem Herzklappenersatz. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Approximate verification in an open source world., und . Innov. Syst. Softw. Eng., 4 (1): 87-105 (2008)Knowledge model reuse: therapy decision through specialisation of a generic decision model., , und . Expert Syst. Appl., 23 (2): 113-135 (2002)Processor Rescue - Safe Coding for Hardware Aliasing., , und . SoMeT, Volume 532 von Communications in Computer and Information Science, Seite 137-148. Springer, (2015)Describing generic expertise models as object-oriented analysis patterns: the heuristic multi-attribute decision pattern., und . Expert Syst. J. Knowl. Eng., 19 (3): 142-169 (2002)System Test Synthesis from UML Models of Distributed Software., , , , , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 97-113. Springer, (2002)Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects., und . SEW, Seite 246-255. IEEE Computer Society, (2007)Soundness and Completeness of the NRB Verification Logic., und . SEFM Workshops, Volume 8368 von Lecture Notes in Computer Science, Seite 389-404. Springer, (2013)Construction of a Development Environment for GPMs Based on OO Analysis Patterns., , , und . KES, Volume 2774 von Lecture Notes in Computer Science, Seite 1351-1356. Springer, (2003)System Test Synthesis from UML Models of Distributed Software, , , , , und . FORTE, Seite 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..Symbolic approximation: an approach to verification in the large., und . Innov. Syst. Softw. Eng., 2 (3-4): 147-163 (2006)