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
72
(62)
Show More
Show Less
Author
Sánchez Palma, Pedro
(12)
Letelier Torres, Patricio
(10)
Ramos Salavert, Isidro
(9)
Calvo López, José
(5)
Pastor López, Óscar
(4)
Vicente Chicote, Cristina
(4)
Iborra García, Andrés José
(3)
Álvarez Torres, María Bárbara
(3)
Alonso Rodríguez, Miguel Ángel
(2)
La Spina, Vincenzina
(2)
Show More
Show Less
Subject
Lenguajes y Sistemas Informáticos
(14)
OASIS
(8)
Construcciones Arquitectónicas
(4)
5311 Organización y Dirección de Empresas
(3)
Herencia
(3)
Idiomas
(3)
Languages
(3)
Model Driven Engineering (MDE)
(3)
Modelado orientado a objeto
(3)
Sistemas dinámicos
(3)
Show More
Show Less
Year
2011
(7)
2013
(6)
1999
(5)
2012
(5)
2016
(5)
1998
(4)
2010
(4)
2015
(4)
2017
(4)
2019
(3)
Show More
Show Less
Document Type
Conferencia
(19)
Tesis
(19)
Artículo
(18)
Libro
(3)
Sin Especificar
(3)
Show More
Show Less
Language
Español
(48)
Inglés
(14)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
72
Sort by
Score
Title
Year
-
1-10 from
62
results
(0.013 seconds)
Title:
OASIS 3.0: un enfoque formal para el modelado conceptual orientado a objeto
Author:
Sánchez Palma, Pedro
/
Letelier Torres, Patricio
/
Ramos Salavert, Isidro
/
Pastor López, Óscar
Language:
Español
Repository:
72
Subject:
OASIS
/
Modelado orientado a objeto
/
Agregación
/
Herencia
/
Resticciones de integridad
/
Lenguajes y Sistemas Informáticos
Acceder
Title:
Animating formal specifications with inheritance in a DL based framework
Author:
Sánchez Palma, Pedro
/
Letelier Torres, Patricio
/
Ramos Salavert, Isidro
Language:
Inglés
Repository:
72
Subject:
Requisitos de ingeniería
/
Métodos orientados a objetos
/
Herencia
/
Animación de especificaciones
/
Requirements Engineering
/
Object-Oriented Methods
/
Inheritance
/
Animated specifications
/
Lenguajes y Sistemas Informáticos
Acceder
Title:
Modelado conceptual con un lenguaje formal orientado a objeto
Author:
Sánchez Palma, Pedro
/
Letelier Torres, Patricio
/
Ramos Salavert, Isidro
/
Pastor López, Óscar
Language:
Español
Repository:
72
Subject:
Ingeniería de requisitos
/
Modelo conceptual
/
Modelado orientado a objeto
/
OASIS
/
Lenguajes y Sistemas Informáticos
Acceder
Title:
OASIS Versión 3.0: Un enfoque formal para el modelado conceptual orientado a objeto
Author:
Letelier Torres, Patricio
/
Sánchez Palma, Pedro
/
Ramos Salavert, Isidro
/
Pastor López, Óscar
Language:
Español
Repository:
72
Subject:
OASIS
/
Modelado conceptual
/
Lógica dinámica
/
Especificaciones de procesos
/
Lenguajes y Sistemas Informáticos
Acceder
Title:
Habitation: a domain-specific language for home automation
Author:
Jiménez Buendía, Manuel
/
Sánchez Palma, Pedro
/
Álvarez Torres, María Bárbara
/
Iborra García, Andrés José
/
Rosique Contreras, María Francisca
Language:
Inglés
Repository:
72
Subject:
Dominio específico de lenguajes
/
Domótica
/
Lenguajes Visuales
/
Modelos basados en ingeniería
/
Gráficos por ordenador
/
Compiladores de programas
/
Domain specific languages
/
Home automation
/
Visual languages
/
Computer graphic
/
Program compilers
/
Model Driven Engineering (MDE)
/
Tecnología Electrónica
Acceder
Title:
SME´s semi-formality rate in Costa Rica: a clusters approach / Tasa de semiformalidad de la mipyme en Costa Rica: un enfoque por grupos
Author:
Brenes Bonilla, Lizette
/
Bermúdez Mesén, Ligia
/
Bermúdez Vargas, Katherine
Language:
Español
Repository:
72
Subject:
Semi-formal enterprises
/
Formal enterprises
/
Municipal operating licenses
/
Clusters
/
Semiformalidad empresarial
/
Formalidad empresarial
/
Licencias municipales
/
Conglomerados
/
5311 Organización y Dirección de Empresas
Acceder
Title:
Docencia en inglés en el máster universitario "Biología y tecnología de la reproducción en mamíferos": la opinión de los alumnos
Author:
García Vázquez, Francisco A.
/
Romar, Raquel
/
Matás, Carmen
/
Gadea, Joaquín
/
Ruíz, Salvador
/
Coy, Pilar
Language:
Español
Repository:
72
Subject:
Docencia
/
Idiomas
/
Inglés
/
Máster
/
Teaching
/
Languages
/
English
/
Master course
Acceder
Title:
Diseño e implementación sobre hardware reconfigurable de una arquitectura para la emulación en tiempo real de redes neuronales celulares
Author:
Martínez Álvarez, José Javier
Language:
Español
Repository:
72
Subject:
Computación digital
/
Redes neuronales celulares
/
Microelectrónica
/
Arquitectura Carthago
/
Arquitectura Carthagonova
/
Computador reconfigurable de altas prestaciones (HPRC)
/
Cellular neural networks
/
Hardware description languages (HDL)
Acceder
Title:
Espacio-Teleco: Revista de la ETSIT-UPCT. 2011
Author:
Universidad Politécnica de Cartagena
Language:
Español
Repository:
72
Subject:
Sistemas de comunicación
/
Microondas
/
Líneas de transmisión
/
Teoría de la señal
/
Sistemas dinámicos
/
Multicast
/
Espacio Europeo de Educación Superior (EEES)
/
Idiomas
/
Astronomía
/
Microwave
/
Transmission lines
/
Signal theory
/
Languages
/
Astronomy
/
Communication system
/
Dynamical system
/
European Higher Education Area (EHEA)
/
Matemática Aplicada
/
Applied Mathematics
Acceder
Title:
Uso de Azure Functions para lanzar scripts de R en modo "serverless" : aplicación al estudio de tasa de abandono / Azure Functions for serverless R webservices : application to the study of dropout rate in bachelor studies.
Author:
Huéscar López, Víctor
Language:
Español
Repository:
72
Subject:
Lenguajes de programación
/
Computer languages
/
Arquitectura y Tecnología de Computadoras
/
1203.23 Lenguajes de Programación
Acceder
« Previous
1
2
3
4
5
6
7
Next »