OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 37 Subject: Software Year: 2001 Language: Español Document Type: Tesis

Sort by Score Title Year -

1-3 from 3 results (0.011 seconds)

Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
Title: Uso de patrones en el proceso de construcción de escenarios
Author: Ridao, Marcela
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Patrones de Diseño / Ingeniería de software / Diseño de software / Requerimientos/Especificaciones / Programación orientada a objetos

AccederDescargar
Title: Una estrategia de modelado conceptual de objetos basada en modelos de requisitos en lenguaje natural
Author: Leonardi, María Carmen
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Object-oriented Programming / Requirements/Specifications / SOFTWARE ENGINEERING

Acceder

« Previous 1 Next »