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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (14)

Show More Show Less

Author

Amaro, Silvia (2)
Arroyo, Marcelo (2)
Pons, Claudia (2)
Abdelahad, Corina (1)
Aguirre, Jorge (1)
Baigorria, Lorena (1)
Banchoff Tzancoff, Claudia M. (1)
Bast, Silvia Gabriela (1)
Bavera, Francisco (1)
Berón, Mario (1)

Show More Show Less

Subject

Ciencias Informáticas (14)
Software (14)
Languages (6)
SOFTWARE ENGINEERING (3)
Models (2)
PROGRAMMING LANGUAGES (2)
informática (2)
métodos formales (2)
servicios web (2)
Asterisk (1)

Show More Show Less

Year

2012 (14)
2011 (2)
1995 (1)
1997 (1)
1998 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2005 (1)

Show More Show Less

Document Type

Sin Especificar (14)

Show More Show Less

Language

Español (14)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Subject: Software Repository: 37 Language: Español Year: 2012

Sort by Score Title Year -

11-14 from 14 results (0.016 seconds)

Title: Análisis estático de programas
Author: Arroyo, Marcelo / Bavera, Francisco / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / informática / Software / Formal Definitions and Theory / CODING AND INFORMATION THEORY

Acceder
Title: Un método riguroso para la reusabilidad de software orientado a objetos
Author: Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / reusabilidad / Software / Data models / especificaciones algebraicas / programación transfonnacional / programación orientada a objetos

Acceder
Title: Hacia la validación de arquitecturas de software usando Alloy
Author: Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / arquitectura / Validación / Software / arquitectura de software

Acceder
Title: El proceso de desarrollo de software basado en modelos
Author: Pons, Claudia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / desarrollo de software / Modelos / Models / SOFTWARE ENGINEERING

Acceder

« Previous 1 2 Next »

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