Autor der Publikation

Primeros Pasos hacia un Compilador de UML/OCL.

, , und . JISBD, Seite 27-32. Universidad de Valladolid, Departamento de Informática, (2000)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Rigorous and Effective Type Contracts., und . JISBD, Seite 361-374. (2001)Object Oriented Software Systems Defined by Constructive Logical Methods., und . APPIA-GULP-PRODE, Seite 125-136. (1998)Primeros Pasos hacia un Compilador de UML/OCL., , und . JISBD, Seite 27-32. Universidad de Valladolid, Departamento de Informática, (2000)Sintesis de Programas Logicos: Marco Constructivo., und . GULP-PRODE, Seite 497-510. (1995)Named Entity Recognition Through Corpus Transformation and System Combination., , , und . EsTAL, Volume 3230 von Lecture Notes in Computer Science, Seite 255-266. Springer, (2004)A Method for Compiling and Executing Expressive Assertions., und . IFM, Volume 2999 von Lecture Notes in Computer Science, Seite 521-540. Springer, (2004)Towards a rigorous and effective functional contract for components., , und . Informatica (Slovenia), (2001)Folding by similarity., und . APPIA-GULP-PRODE, Seite 181-195. Departamento de Informática, Universidade de Évora, (2001)Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving., und . FASE, Volume 3442 von Lecture Notes in Computer Science, Seite 205-219. Springer, (2005)