( en | de | ru )

 

Disambiguierung von "Tyszberowicz, Shmuel S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Jose: Aspects for Design by Contract80-89.

, , und . SEFM, Seite 80-89. IEEE Computer Society, (2006)

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.

Ascher Ben-Shmuel

S Danischewski

S Ulrich

S Hilt

S Bachmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Reactive and Real-Time Systems Course: How to Get the Most Out of it., und . Real Time Syst., 25 (2-3): 231-253 (2003)Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking., und . SBMF, Volume 8195 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2013)Integration of Static and Dynamic Analysis Techniques for Checking Noninterference., , , und . 20 Years of KeY, Volume 12345 von Lecture Notes in Computer Science, Springer, (2020)Specifying linked data structures in JML for combining formal verification and testing., und . Sci. Comput. Program., (2015)A lightweight approach for sound call graph approximation., , , und . SAC, Seite 1837-1844. ACM, (2022)GenUTest: A Unit Test and Mock Aspect Generation Tool., , und . Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2007)Projective Template-Based Code Generation., und . CAiSE Forum, Volume 998 von CEUR Workshop Proceedings, Seite 81-87. CEUR-WS.org, (2013)Refactoring with Contracts., , und . AGILE, Seite 53-64. IEEE Computer Society, (2006)Runtime Verification of Generalized Test Tables., , , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 358-374. Springer, (2021)Granulated Code Generation of Interfering Functionalities., , und . FedCSIS, Seite 1333-1340. (2012)