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
(6)
Show More
Show Less
Author
Sánchez Palma, Pedro
(4)
Iborra García, Andrés José
(2)
Letelier Torres, Patricio
(2)
Ramos Salavert, Isidro
(2)
Álvarez Torres, María Bárbara
(2)
Caravaca Garratón, Manuel
(1)
Fernández Martínez, Manuel
(1)
Fernández Meroño, José María
(1)
García Guirao, Juan Luis
(1)
Gimeno Bellver, Fernando José
(1)
Show More
Show Less
Subject
Lenguajes y Sistemas Informáticos
(4)
3327 Tecnología de Los Sistemas de Transporte
(1)
Animación de especificaciones
(1)
Animated specifications
(1)
Chaos indicator
(1)
Ciencia de los Materiales e Ingeniería Metalúrgica
(1)
Compiladores de programas
(1)
Computer graphic
(1)
Dinamica lógica
(1)
Domain specific languages
(1)
Show More
Show Less
Year
1998
(1)
1999
(1)
2003
(1)
2009
(1)
2010
(1)
2017
(1)
Show More
Show Less
Document Type
Artículo
(6)
Show More
Show Less
Language
Inglés
(6)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Language:
Inglés
Document Type:
Artículo
Repository:
72
Sort by
Score
Title
Year
-
1-6 from
6
results
(0.013 seconds)
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:
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:
Web based activities around a digital model railroad platform
Author:
Sánchez Palma, Pedro
/
Álvarez Torres, María Bárbara
/
Iborra García, Andrés José
/
Fernández Meroño, José María
/
Pastor Franco, Juan Ángel
Language:
Inglés
Repository:
72
Subject:
Índice de términos de informática
/
Planes de estudios
/
Internet
/
Laboratorio
/
Objetos orientados a la programación
/
Lenguajes y Sistemas Informáticos
Acceder
Title:
Applying the Network Simulation Method for testing chaos in a resistively and capacitively shunted Josephson junction model
Author:
Gimeno Bellver, Fernando José
/
Caravaca Garratón, Manuel
/
Soto Meca, Antonio
/
Vera López, Juan Antonio
/
García Guirao, Juan Luis
/
Fernández Martínez, Manuel
Language:
Inglés
Repository:
72
Subject:
Electrical analogy
/
Network Simulation Method
/
Josephson junction
/
Chaos indicator
/
Fast Fourier Transform
/
Ciencia de los Materiales e Ingeniería Metalúrgica
/
3327 Tecnología de Los Sistemas de Transporte
Acceder
Title:
Prototyping a requirements specification through an automatically generated concurrent logic program
Author:
Letelier Torres, Patricio
/
Sánchez Palma, Pedro
/
Ramos Salavert, Isidro
Language:
Inglés
Repository:
72
Subject:
OASIS
/
Modelos conceptuales
/
Dinamica lógica
/
Lenguajes y Sistemas Informáticos
Acceder
Title:
Defining the semantics of IT Service Management Models Using OWL and SWRL
Author:
Valiente, María Cruz
/
Rodríguez, Daniel
/
Vicente Chicote, Cristina
Language:
Inglés
Repository:
72
Subject:
Ontologies
/
Knowledge representation
/
Service process modelling
/
OWL
/
SWRL
/
ITSM
/
ITIL
/
Ontología
/
Representación del conocimiento
/
Servicio de proceso de modelado
/
Lenguajes y Sistemas Informáticos
Acceder
« Previous
1
Next »