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
(31)
Show More
Show Less
Author
Montejano, Germán Antonio
(5)
Riesco, Daniel Eduardo
(5)
Uzal, Roberto
(4)
Cobo, María Laura
(2)
Angelini, José O.
(1)
Anido Rifón, Luis
(1)
Areces, Carlos Eduardo
(1)
Biale, Claudio Omar
(1)
Bonacic, Carolina
(1)
Bria, Oscar N.
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(31)
Languages
(31)
SOFTWARE ENGINEERING
(4)
Educación
(3)
Modeling
(3)
Software
(3)
informática
(3)
ARTIFICIAL INTELLIGENCE
(2)
Algorithms
(2)
Multiagent systems
(2)
Show More
Show Less
Year
2012
(29)
2002
(8)
2006
(7)
1997
(3)
2003
(2)
2004
(2)
2005
(2)
1995
(1)
1999
(1)
2001
(1)
Show More
Show Less
Document Type
Sin Especificar
(30)
Artículo
(1)
Show More
Show Less
Language
Inglés
(31)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Language:
Inglés
Subject:
Languages
Sort by
Score
Title
Year
-
1-10 from
31
results
(0.014 seconds)
Title:
Moodelling of processes and formal methods
Author:
Riesco, Daniel Eduardo
/
Montejano, Germán Antonio
/
Uzal, Roberto
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
base de datos
/
Formal methods
/
Languages
/
Reengineering of processes
/
Reverse engineering
/
RAISE language
Acceder
Title:
Formal foundations for the unified modeling language
Author:
Funes, Ana
/
Dasso, Aristides
/
Riesco, Daniel Eduardo
/
Montejano, Germán Antonio
/
Uzal, Roberto
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
formal foundations
/
unified modeling language
/
Languages
/
SOFTWARE ENGINEERING
Acceder
Title:
Building domain specific languages upon the dbject constraint language (DCl)
Author:
Domínguez Iglesias, Antonio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
Specific languages
/
Visual
/
Object Constraint language (DCl)
/
COMPUTER GRAPHICS
/
Languages
Acceder
Title:
From boxes to worlds
Author:
Hirsch, Dan Francisco
/
Areces, Carlos Eduardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software Design
/
Graphic Languages
/
Modal Logics
/
Formal Verification
/
Languages
/
Software
Acceder
Title:
Using business process reengineering to obtain a RAISE specification
Author:
Riesco, Daniel Eduardo
/
Uzal, Roberto
/
Montejano, Germán Antonio
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
formal method
/
Languages
/
Reengineering
Acceder
Descargar
Title:
Implementing a typed assembly language and its machine model
Author:
Medel, Ricardo
/
Lucotte, Matthieu
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
Programming languages
/
type systems
/
typed assembly languages
/
compilers
/
resources awareness
Acceder
Title:
LaST: Language Study Tool
Author:
Molinari, Enrique
/
Lindner, Edgard
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
tecnología
/
Semantics
/
educación
/
Computer science education
/
informática
/
computer education technology
/
programming language semantics
/
teaching programming languages
Acceder
Title:
Typing polymorphic recursion
Author:
Figueiredo, Lucília Camarão de
/
Camarão, Carlos
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
informática
/
Polymorphism
/
Programming languages
/
Type inference
Acceder
Title:
An extension to EMTPL
Author:
Cobo, María Laura
/
Falappa, Marcelo Alejandro
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Programming Languages
/
Metric Temporal Logic
/
Deductive Databases
/
Negation
/
base de datos
/
Languages
/
Metrics
/
SOFTWARE ENGINEERING
Acceder
Title:
Design and implementation of the visual davinci language
Author:
Champredonde, Raúl
/
De Giusti, Armando Eduardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
educación
/
informática
/
Visual
/
Visual languages
/
Objects
/
Compilation and interpretation
Acceder
« Previous
1
2
3
4
Next »