Buscar
Mostrando ítems 1-10 de 70
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
(NASA Langley Research Center, 2011)
This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of
synchronous set relations. The mathematical foundation is given in the
language of abstract ...
Towards a Maude Formal Environment
(Springer, 2011)
Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in ...
Coliseo el Otoño: una propuesta arquitectónica a partir de la divina proporción
(Escuela Colombiana De Ingenieria Julio Garavito, 2011)
El coliseo El Otoño es un trascendental proyecto con el cual la Escuela colombiana de Ingeniería se propone satisfacer las necesidades culturales, deportivas y recreativas de la comunidad institucional, para fortalecer ...
A mediation system to facilitate cooperation in a co-design platform
(IEEE Xplore, 2011)
We present a mediation system, developed to give support to participants in mechanical-system-designer activities. Sufficient assistance is needed to facilitate and coordinate actors' activities. To accomplish this goal ...
Effects of Asphalt Mixture Properties on Permanent Deformation Response
(Sage Publishing, 2011)
The hot-mix asphalt (HMA) rutting prediction model in the Mechanistic–Empirical Pavement Design Guide (MEPDG) uses a relationship that includes the effects of mix characteristics only through the resilient strain, which ...
A formal library of set relations and its application to synchronous languages
(Elsevier B.V., 2011)
Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and ...
Aprendizajes de programación de computadores y resolución de problemas en un ambiente de trabajo en colaboración
(Educación para el siglo XXI, 2011)
En esta investigación exploro los efectos, en el aprendizaje de programación de computadores de alumnos universitarios, de una estrategia de aprendizaje que integra trabajo en colaboración y resolución de problemas, el ...
Tool Interoperability in the Maude Formal Environment
(Springer, 2011)
We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...
Seismic assessment of framed buildings: a pseudo-adaptive uncoupled modal response analysis
(Taylor & Francis Group, 2011)
The Pseudo-Adaptive Uncoupled Modal Response Analysis proposed herein aims to estimate the seismic response of structures. In comparison to complete nonlinear time history analysis, the proposed method provides an acceptable ...
Proving Safety Properties of Rewrite Theories
(Springer, 2011)
Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive ...