Refine your Search
Author
Subject
Year
891-900 from 995 results
(0.016 seconds)
-
Title: Uso de la gramática distributiva en la ingeniería de requisitosAuthor: Dasso, Aristides / Funes, AnaLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / gramática distributiva / Languages / lenguaje natural
-
Title: Vinculación de un curso interactivo multimedial con un lenguaje visual para ejecución y animación de algoritmosAuthor: De Giusti, Armando Eduardo / Madoz, María Cristina / Gorga, Gladys / Bertone, Rodolfo Alfredo / Champredonde, RaúlLanguage: EspañolRepository: 37
-
Title: Towards a programming language based on Prior's metric temporal operatorsAuthor: Cobo, María Laura / Augusto, Juan CarlosLanguage: InglésRepository: 37
-
Title: Verificación en Alloy de modelos y metamodelos específicos del dominioAuthor: Garis, Ana Gabriela / Sanchez, AlejandroLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Alloy / Languages / DSL / verificación
-
Title: Análisis modular y recuperación de contraejemplos en TACOLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software/Program Verification / Languages
-
Title: Incorporando Alloy en desarrollos basados en metodologías agilesLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Alloy / Languages / metodologías ágiles / Formal methods
-
Title: Verificando diseños BON mediante AlloyAuthor: Castro, Pablo Francisco / Ponzio, Pablo Daniel / Demasi, Ramiro Adrián / Baum, Gabriel AlfredoLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Formal methods / Object-oriented languages
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723