Buchumschlag

An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	C. A. Fernández-Fernández
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Universidad Nacional Autónoma de México 2014
Schlagworte:	Ingeniería Software modeling formal specification lightweight formal methods
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Model for Documenting Requirements Elicitation
von: Edgar Serna M.
Veröffentlicht: (2023)

Graphic specification of abstract data types
von: Ricardo Contreras
Veröffentlicht: (2004)

Automatic Verification of Critical Industrial Process with Automata
von: Luis E. Mendoza Morales
Veröffentlicht: (2016)

UAREI: A model for formal description and visual representation /software gamification
von: Darius Ašeriškis
Veröffentlicht: (2017)

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

Semi-formal specifications and formal verification improving the digital design: some statistics
von: D. Torres
Veröffentlicht: (2009)

Fundamental Approaches to Software Engineering
Veröffentlicht: (2018)

La especificación formal en contexto: actual y futuro
von: Edgar Serna M.
Veröffentlicht: (2014)

Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool
von: Juan David Contreras
Veröffentlicht: (2018)

Verification of transaction level models of embedded systems
von: Lucky Lochi Yu Lo
Veröffentlicht: (2013)

Influence of the void ratio of cellular concrete on the corrosion of steel reinforcement
von: C. F. G. Nascimento
Veröffentlicht: (2022)

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

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Veröffentlicht: (2018)

Proving Distributed Coloring of Forests in Dynamic Networks
von: Faten Fakhfakh
Veröffentlicht: (2017)

International Journal of Lightweight Materials and Manufacture
Veröffentlicht: (2018)

Maestría en Educación Rural: una propuesta innovadora
von: Vivian Carvajal Jiménez
Veröffentlicht: (2007)

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Veröffentlicht: (2018)

A Model Checker for the Verification of Browser Based Protocols
von: Victor Ferman
Veröffentlicht: (2017)

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

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

Avaliação da criatividade figural infantil em contexto de educação não formal
von: Talita Fernanda da Silva
Veröffentlicht: (2018)

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

Horizontes Educativos en la Sociedad Posdigital: entre la Libertad y la Inclusión
von: Eduardo García Blázquez
Veröffentlicht: (2025)

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

Sabiduría y Ciencia Política en la obra de Alberto Magno
von: José Ricardo Pierpauli
Veröffentlicht: (2015)

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

"Salir a la escuela, salir al taller": los sentidos de estudiar en la cárcel
von: Luciana Morini
Veröffentlicht: (2023)

Viability of using olive stones as lightweight aggregate in construction mortars
von: Mercedes del Río Merino
Veröffentlicht: (2017)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Veröffentlicht: (2018)

SOBRE A LÓGICA NO PROGRAMA FILOSOFIA PARA CRIANÇAS
von: Cesar Catalani
Veröffentlicht: (2009)

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

Conceitos de Educação e Escolaridade entre Mulheres Clientes de um Centro de Saúde do Rio De Janeiro
von: Isabela Cabral Félix de Sousa
Veröffentlicht: (2006)

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

A survey of computational calculi used in musical applications
von: Gerardo M. Sarria M.
Veröffentlicht: (2013)

A framework for the consensus decision-making based on arguments and common knowledge formation
von: Ayslan Trevizan Possebom
Veröffentlicht: (2019)

HyRPNI Algorithm and an Application to Bioinformatics
von: Gloria Inés Alvarez V
Veröffentlicht: (2011)

Design of automatic control system based on unified timed hybrid Petri net
von: Israel Francisco Benitez-Pina
Veröffentlicht: (2017)

Formal labor market and pandemic: analysis of labor allocation in different economic sectors
von: Paula Junior, Amarildo de, et al.
Veröffentlicht: (2023)

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
von: Lucimar da Silva Itelvino
Veröffentlicht: (2018)

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