( en | de | ru )

 

Disambiguierung von "Cordy, James R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extracting rights and obligations from regulations: toward a tool-supported process.

, , , , , , und . ASE, Seite 429-432. ACM, (2007)

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.

James R Krabill

James R Harrison

Bruno Cordys

Michael James

Audrein James

 

Weitere Publikationen von Autoren mit dem selben Namen

First symposium on the Personal Web., , , und . CASCON, Seite 327-329. ACM, (2010)The smart internet: transforming the web for the user., , und . CASCON, Seite 285-296. ACM, (2009)A survey on software clone detection research, und . Queen?s School of Computing TR, 541 (115): 64?68 (2007)Modeling Erlang in the $\pi$?Calculus, und . ACM SIGPLAN Erlang Workshop: A Satellite Event of PLI, Seite 72. ACM Press, (2005)Bounded Verification of State Machine Models., und . SAM, Seite 23-32. ACM, (2020)How to make a bridge between transformation and analysis technologies?., und . Transformation Techniques in Software Engineering, Volume 05161 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Cerno: Light-weight tool support for semantic annotation of textual documents., , , , und . Data Knowl. Eng., 68 (12): 1470-1492 (2009)Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report., , , , und . AMT@MoDELS, Volume 1500 von CEUR Workshop Proceedings, Seite 26-35. CEUR-WS.org, (2015)GVL: A Graphical, Functional Language for the Specification of Output in Programming Languages., und . ICCL, Seite 11-22. IEEE Computer Society, (1990)Automating the Extraction of Rights and Obligations for Regulatory Compliance., , , , , , und . ER, Volume 5231 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2008)