( en | de | ru )

 

Disambiguierung von "Valdeón, José Miguel Cañete"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Rigorous and Effective Type Contracts.

, und . JISBD, Seite 361-374. (2001)

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.

José Miguel Simian

José Miguel Dörner Fernández

José Miguel Olivares Tramón

José Miguel Méndez Alcaraz

José Miguel Garcia Schürmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Defeasible Argumentation of Software Architectures., , und . WICSA, Seite 115-121. IEEE Computer Society, (2016)Towards Rigorous and Effective Type Contracts., und . JISBD, Seite 361-374. (2001)Improving the Performance of a Tagger Generator in an Information Extraction Application., , , , und . J. Univers. Comput. Sci., 13 (9): 1287-1299 (2007)Constructing Recursions by Similarity., , und . J. Braz. Comp. Soc., 9 (1): 17-26 (2003)A Method for Compiling and Executing Expressive Assertions., und . IFM, Volume 2999 von Lecture Notes in Computer Science, Seite 521-540. Springer, (2004)Primeros Pasos hacia un Compilador de UML/OCL., , und . JISBD, Seite 27-32. Universidad de Valladolid, Departamento de Informática, (2000)Clarifying the semantics of value in use cases through Jackson's Problem Frames., , , und . Inf. Process. Lett., 107 (6): 221-229 (2008)Synthesis of positive logic programs for checking a class of definitions with infinite quantification., und . Inf. Comput., (2016)How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities.. Inf. Softw. Technol., 55 (2): 226-240 (2013)Towards a rigorous and effective functional contract for components., , und . Informatica (Slovenia), (2001)