( en | de | ru )

 

Disambiguierung von "Polack, Fiona"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formal Template Language Enabling Metaproof

, , und . (2006)
DOI: 10.1007/11813040_18

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.

Emil Polack

Axel Polack

Hilde Polack

Christoph Polack

Martin Polack

 

Weitere Publikationen von Autoren mit dem selben Namen

Frameworks Based on Templates for Rigorous Model-driven Development, , und . Electronic Notes in Theoretical Computer Science, (Oktober 2007)Refactoring in Maintenance and Development of Z Specifications and Proofs, , und . Electronic Notes in Theoretical Computer Science, 70 (3): 50--69 (November 2002)Using formal metamodels to check consistency of functional views in information systems specification, und . Information and Software Technology, 50 (7-8): 797--814 (Juni 2008)Efficient Large-scale Road Inspection Routing., , , und . ICORES, Seite 304-312. SciTePress, (2016)SAZ., , und . Z User Workshop, Seite 384-384. Springer, (1990)An Agile and Extensible Code Generation Framework., , und . XP, Volume 3556 von Lecture Notes in Computer Science, Seite 226-229. Springer, (2005)Turning Models Inside Out., , und . MoDELS (Satellite Events), Volume 2019 von CEUR Workshop Proceedings, Seite 430-434. CEUR-WS.org, (2017)Formal Proof from UML Models, , und . (2004)Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z., und . ZB, Volume 2651 von Lecture Notes in Computer Science, Seite 339-358. Springer, (2003)The Epsilon Generation Language., , , und . ECMDA-FA, Volume 5095 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2008)