104 resultados para Emergent properties
Resumo:
Chinese-style dried, shredded meat is traditionally prepared by sequential cooking, shredding, pre-drying, and final drying (roasting) of lean meat. In this study, shredded dried beef (a(w)<0.6) was prepared by omitting roasting but prolonging pre-drying. Sensory scores of the modified product were lower than those for the traditional product. When heat pump drying replaced traditional oven drying, drying time was shortened without significant difference in quality attributes. Desorption curves were established for shredded beef at several drying temperatures.
Resumo:
Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.
Resumo:
This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.
