PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Welch, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal model-driven engineering of critical information systems.

, , , und . Sci. Comput. Program., (2015)

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.

Univ. -Prof. Dr. James Foster University of Stuttgart

Samuel James Tovey University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-driven engineering of information systems: 10 years and 1000 versions., , , und . Sci. Comput. Program., (2014)Models for forms., , , , und . SPLASH Workshops, Seite 13-18. ACM, (2011)Automatic Maintenance of Association Invariants., , und . SEFM, Seite 282-292. IEEE Computer Society, (2005)Compositionality and Refinement in Model-Driven Engineering., , , und . SBMF, Volume 7498 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2012)A Guarded Workflow Language and Its Formal Semantics., , und . TASE, Seite 25-34. IEEE Computer Society, (2010)Domain-specific Semantics and Data Refinement of Object Models., , und . Electron. Notes Theor. Comput. Sci., (2008)Domain specific modelling for clinical research., , , , , , und . DSM@SPLASH, Seite 1-8. ACM, (2015)From Predicates to Programs: The Semantics of a Method Language., , und . Electron. Notes Theor. Comput. Sci., (2007)Automatic maintenance of association invariants., , und . Software and Systems Modeling, 7 (3): 287-301 (2008)On the Generation of Object Databases using Booster., , , und . ICECCS, Seite 249-258. IEEE Computer Society, (2006)