( en | de | ru )

 

Disambiguierung von "Margaria, Tiziana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Executable Documentation: Test-First in Action.

, , , , , , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 135-156. Springer, (2022)

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.

Tiziana Margaria

Tiziana Margaria-Steffen

Tiziana Margaria-Steffen

Tiziana Roncoroni

Tiziana Ugoletti

 

Weitere Publikationen von Autoren mit dem selben Namen

Digital Thread in Smart Manufacturing., , und . ISoLA (4), Volume 13704 von Lecture Notes in Computer Science, Seite 179-183. Springer, (2022)Executable Documentation: Test-First in Action., , , , , , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 135-156. Springer, (2022)DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories., , , und . ISoLA, Volume 13036 von Lecture Notes in Computer Science, Seite 146-161. Springer, (2021)Lessons Learned., , und . Process Design for Natural Scientists, Volume 500 von Communications in Computer and Information Science, Springer, (2014)Making Sense of Complex Applications: Constructive Design, Features, and Questions.. Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 129-148. Springer, (2018)Backtracking-Free Design Planning by Automatic Synthesis in METAFrame., und . FASE, Volume 1382 von Lecture Notes in Computer Science, Seite 188-204. Springer, (1998)Program verification and testing technologies., , und . Int. J. Softw. Tools Technol. Transf., 16 (4): 335-337 (2014)Efficient RT-Level Verification by Theorem Proving.. IFIP Congress (1), Volume A-12 von IFIP Transactions, Seite 696-702. North-Holland, (1992)BC4ECO - Using Visual Tools for a Shared Understanding and Pedagogical Approach across an Interdisciplinary Consortium., , , , und . COMPSAC, Seite 1890-1895. IEEE, (2023)Experiences from the first delivery of a new immersive software engineering course: mathematical foundations and data analytics., , , und . COMPSAC, Seite 1576-1581. IEEE, (2023)