We transpose a conservative extension theorem from structural operational semantics to conditional term rewriting. The result is useful for the development of software renovation factories, and for modular speciication of abstract data types.

The historic buildings represent an important part of the built environment. The possibility to reuse spaces that represent the local cultural heritage plays an important role in maintaining the identity of a population and its traditions. The steps to be faced for smart renovation of historic buildings and recent constructions are not the same, as in the first case artistic and architectural c...

The paper deals with process renovation, the effective utilization of information technology and the role of process-based knowledge management in supply chain integration towards e-logistics. The paper describes business process renovation as the key element of an e-business orientation and the highest level of strategy for managing change that commonly cannot be handled by continuous improvem...

Autophagy is the major intracellular degradation system by which cytoplasmic materials are delivered to and degraded in the lysosome. However, the purpose of autophagy is not the simple elimination of materials, but instead, autophagy serves as a dynamic recycling system that produces new building blocks and energy for cellular renovation and homeostasis. Here we provide a multidisciplinary rev...

Green building design is a socio-technical process, so it is important to engage end users (e.g. building occupants) in requirements gathering. Given that a majority of software tools used in designing green buildings are aimed at engineers, we must determine the most effective way of communicating information about energy use requirements to end users, who are typically unfamiliar with energy ...

Several authors have successfully created and employed vintage cohorts and housing typologies in research addressing energy renovation needs in the existing dwelling stock. This paper suggests that the idea of types would be useful in creating living quality related renovation and adaptation concepts for homes as well. Such concepts could be used for increasing accessibility and individuality o...

Abstract: Buildings currently play a fundamental role for the achievement of the sustainable development goals as they are responsible for several environmental, social, and economic impacts. Energy renovation projects of existing buildings can support the reduction of environmental impacts by leading, at the same time, to economic and social advantages. In this paper, the life cycle assessment...

Part of software maintenance consists in applying program transformations system-wide. In a number of recent papers, a factory approach has been advocated in which one program after another is fed to an assembly line that consists of a sequence of transformation tools. The general feeling seems to be that such factories have to be constructed and operated by specialists (the ‘vendors’). We thin...

It is a general expectancy that in most of the construction and renovation project, the contractor is going to hand over the as-built documents to the owner or the facility management team at the completion of the project. The main challenge for the handover process is to ensure the completeness of the captured building information and the accuracy of it in terms of how well it represents the r...

Reducing energy consumption of residential and commercial buildings is a major challenge nowadays. One of the strategies to achieve a significant reduction lies on building renovation. On this regard, a project targeting the industrialization of high performance thermal renovation for apartment buildings is been executed. The renovation is based on an external envelop composed by rectangular wo...