Copertina

La especificación formal en contexto: actual y futuro

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Edgar Serna M.
Natura:	Artículo científico
Lingua:	es
Pubblicazione:	Universidad de Tarapacá 2014
Soggetti:	Ingeniería métodos formales Técnicas formales especificación formal ingeniería de software ciencias computacionales
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Métodos formales e Ingeniería de Software
di: Edgar Serna Montoya
Pubblicazione: (2010)

UNA PROPUESTA PARA LA FORMALIZACIÓN DEL DIAGRAMA DE CLASES EN EL LENGUAJE MAUDE
di: Fernando Arango Isaza
Pubblicazione: (2016)

La investigación en verificación formal- un estado del arte
di: Edgar Serna M.
Pubblicazione: (2013)

Métodos formales aplicados a la industria del software
di: Fernández y Fernández, Carlos Alberto
Pubblicazione: (2011)

Proposta metodológica para o ensino das danças populares na Escola do Teatro Bolshoi No Brasil
di: Marco Aurelio da Cruz Souza
Pubblicazione: (2020)

Verificación automática de procesos de negocio con un enfoque composicional
di: Luis E. Mendoza Morales
Pubblicazione: (2013)

UNA MIRADA CONCEPTUAL A LA GENERACIÓN AUTOMÁTICA DE CÓDIGO
di: Carlos Mario Zapata
Pubblicazione: (2010)

Perfil UML para el modelado visual de requisitos difusos
di: Rosseline Rodríguez
Pubblicazione: (2009)

Relações entre educação ambiental e educação em ciências na complementaridade dos espaços formais e não formais de educação
di: Mauro Guimarães
Pubblicazione: (2006)

Towards the Design of Safety-Critical Software
di: R. Rafeh
Pubblicazione: (2013)

An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method
di: C. A. Fernández-Fernández
Pubblicazione: (2014)

Fundamental Approaches to Software Engineering
Pubblicazione: (2018)

Avaliação da criatividade figural infantil em contexto de educação não formal
di: Talita Fernanda da Silva
Pubblicazione: (2018)

Modelo formal para la reestructura de marcos orientados a objetos hacia arquitecturas modelo-vista-adaptador
di: René Santaolaya-Salgado
Pubblicazione: (2014)

Educación en dolor y cuidados paliativos: reflexiones sobre un programa de entrenamiento formal en Colombia
di: René Linares Giraldo
Pubblicazione: (2005)

Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo−Parq
di: Henry Alberto Diosa
Pubblicazione: (2010)

Métodos formales aplicados en la industria del Software
di: Fernández y Fernández, Carlos A., Ambrosio Miriam, Andrade Gabriel, Cruz Galileo, José Martín, Ortiz Román y Sánchez Hernán
Pubblicazione: (2011)

O formal, o não formal e as outras formas: a aula de física como gênero discursivo
di: Giselle Faur de Castro Catarino
Pubblicazione: (2017)

Materiales didácticos para una intervención interdisciplinar desde los ámbitos formal y no formal. Un análisis tras su implementación
di: Ma. Montserrat Castro Rodríguez
Pubblicazione: (2007)

Formação do empreendedor social e a educação formal e não formal: um estudo a partir de narrativas de história de vida
di: Lucimar da Silva Itelvino
Pubblicazione: (2018)

Educação não-formal, participação da sociedade civil e estruturas colegiadas nas escolas
di: Maria da Glória Gohn
Pubblicazione: (2006)

Algunas disertaciones sobre la enseñanza de las ciencias desde la Educación Ambiental, una propuesta para Educación no Formal
di: Yisaidy Chaparro Díaz
Pubblicazione: (2009)

La Educación Ambiental en el ámbito de la Ley Orgánica del Ambiente de 2006: Criterios fundamentales para su operacionalización en contextos educativos formales y no formales
di: José Humberto Lárez H.
Pubblicazione: (2009)

Maestría en Educación Rural: una propuesta innovadora
di: Vivian Carvajal Jiménez
Pubblicazione: (2007)

La construcción histórica del baile flamenco como disciplina formativa: Andalucía en los siglos XVI-XXI
di: Bárbara de las Heras Monastero
Pubblicazione: (2018)

Sabiduría y Ciencia Política en la obra de Alberto Magno
di: José Ricardo Pierpauli
Pubblicazione: (2015)

Horizontes Educativos en la Sociedad Posdigital: entre la Libertad y la Inclusión
di: Eduardo García Blázquez
Pubblicazione: (2025)

ESTUDIO ESTADÍSTICO DEL NÚMERO DE REGLAS RESULTANTES AL TRANSFORMAR UNA GRAMÁTICA LIBRE DE CONTEXTO A LA FORMA NORMAL DE CHOMSKY
di: Fredy Ángel Miguel Amaya Robayo
Pubblicazione: (2010)

El profesorado de educación musical durante el franquismo
di: Mª del Rosario CASTAÑÓN RODRÍGUEZ
Pubblicazione: (2009)

A escola vai ao museu(!)(?): um olhar de coordenadores pedagógicos e da gestão educacional de Uberaba, Minas Gerais
di: Bruno Inácio da Silva Pires
Pubblicazione: (2022)

Educação não formal e avaliação: possibilidades, limites e desafios
di: Juliana Daros Carneiro
Pubblicazione: (2013)

La acreditación del aprendizaje por experiencia en la formación docente: CASO INSTITUTO PEDAGÓGICO DE MIRANDA
di: Yajahira Smitter
Pubblicazione: (2009)

UAREI: A model for formal description and visual representation /software gamification
di: Darius Ašeriškis
Pubblicazione: (2017)

A Model for Documenting Requirements Elicitation
di: Edgar Serna M.
Pubblicazione: (2023)

UGP/GTE Lean formalization
di: Spivack, Nova
Pubblicazione: (2026)

Una aproximación poliédrica al concepto microeconómico
di: Penélope Hernández Rojas
Pubblicazione: (2009)

Modelo formal de pruebas funcionales de software para alcanzar el Nivel de Madurez Integrado 2
di: Milton Eduardo Escobar-Sánchez
Pubblicazione: (2015)

"Salir a la escuela, salir al taller": los sentidos de estudiar en la cárcel
di: Luciana Morini
Pubblicazione: (2023)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)

Lean Representational Incompleteness (Lean formalization)
di: Spivack, Nova
Pubblicazione: (2026)