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

Query: MODELING Year: 2008

Sort by Score Title Year -

31-40 from 66 results (0.056 seconds)

Title: StateML + : From Graphical State Machine Models to Thread-Safe Ada Code
Author: Alonso Cáceres, Diego / Vicente Chicote, Cristina / Pastor Franco, Juan Ángel / Álvarez Torres, María Bárbara
Language: Inglés
Repository: 72
Subject: Modelos de Ingeniería de conducción / Transformación de modelo a texto / Máquinas de estado finito / Generación de hilo seguro de código / Plataforma eclipse / Model driven engineering (MDE) / Model to text transformation / Finite state machines (FSM) / Thread safe code generation / Eclipse platform / Lenguajes y Sistemas Informáticos

Acceder
Title: StateML+: From Graphical State Machine Models to Thread-Safe Ada Code
Author: Alonso Cáceres, Diego / Vicente Chicote, Cristina / Pastor Franco, Juan Ángel / Álvarez Torres, María Bárbara
Language: Inglés
Repository: 72
Subject: Model driven engineering (MDE) / Model to text (M2T) transformation / Finite state machines (FSM) / Eclipse / Lenguajes y Sistemas Informáticos

Acceder
Title: Verificación de propiedades temporales en PPML
Author: Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / métodos formales / Formal methods / autómatas temporizados / Model checking / procesos de negocios / business processes

Acceder
Title: Un simposio internacional fue celebrado en Nueva York, conmemorando los 80 años del Decano Emérito, Profesor Melvin L. Moss
Author: Pucciarelli, Héctor Mario
Language: Español
Repository: 37
Subject: Antropología / Congresos / homenaje

AccederAcceder
Title: Requirement specifications for electronic voting systems
Author: Pesado, Patricia Mabel / Feierherd, Guillermo Eugenio / Pasini, Ariel C.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications / State diagrams

AccederDescargar
Title: Detecting and monitoring change in models
Author: Schaffernicht, M.
Language: Inglés
Repository: 27
Subject: Team mental Models / Decision-Making / Misperceptions / Systems / Feedback

Acceder
Title: The Student's Guide to VHDL, Peter J. Ashenden, Morgan Kaufmann : Morgan Kaufmann Publishers, 1998. ISBN 1-55860-520-7
Author: De Giusti, Marisa Raquel
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Reseña de Libros

AccederDescargar
Title: Understanding the word "analysis" in the context of requirements engineering
Author: Prado Leite, Julio César Sampaio do
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications

AccederDescargar
Title: Evaluation of Hydrogel Materials for Insulin Delivery in Closed Loop Treatment of Diabetes Mellitus
Author: Sánchez Chávez, Irma Yolanda
Language: Inglés
Repository: 34
Subject: Tecnología / Technology / Hidrogel / Diabetes / Tratamiento / INGENIERÍA Y TECNOLOGÍA / CIENCIAS TECNOLÓGICAS / TECNOLOGÍA DE MATERIALES / OTRAS

Acceder
Title: Metamodeling Variability to Enable Requirements Reuse
Author: Morós, Begoña / Toval, Ambrosio / Vicente Chicote, Cristina
Language: Inglés
Repository: 72
Subject: Requirements Engineering / Requirements Meta-Model / Requirements Variability / Requirements Reuse / REMM / MDSD / RE / Model Driven Software Development / Lenguajes y Sistemas Informáticos

Acceder

« Previous 1 2 3 4 5 6 7 Next »