No abstract

A large proportion of problems found in deployed systems relate to the user interface. This paper presents an approach to the verification of user interface models based on model checking. The approach is intended to be used early in design. The verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also capture important features of the context to allow restrictions of behaviour to those that conform to appropriate human and environmental constraints. A tool suite to support the approach is under development and is described. Future work directions are put forward.

Buildings with indoor swimming pools are recognized as very high-energy consumers and present a great potential for electrical and thermal energy savings. A BEMS (building energy management system) could be conceived in order to optimize the building energy demand and with smart grid interaction. This paper presents the condition and potential contract-based demand side response in indoor swimming pools context. The BEMS designed by the authors implements control strategies for HVAC (heating, ventilation and air conditioning) and pumping system in order to reduce the electricity demand during peak hours or in response to an emergency signal from the system operator in critical times. The control strategies for HVAC was carried out by Building Thermal Simulation and the used of a theoretical formula for pumping system, strategies can carry out a significant reduction in power demand both in HVAC and pumping systems.

In recent years, the design has been in evidence and showing the importance in leading companies. Then comes the strategic management of the design, an area of knowledge that aims to add value and competitive advantage to companies through a practical meeting. In this context, this research aims to evaluate the current scenario and projections of this knowledge to the market in the Manaus city, Amazonas, Brazil, and to highlight the importance of it as an important factor in project management. Therefore, we adopted the descriptive and quantitative research carried out data collection through a survey with the purpose of extracting data from key stakeholders: Designers and entrepreneurs. Reputable sources of information reveal that the inclusion of design in business has become a trend with the increasing competitiveness of the global market, in contrast, the results of this research show that the local market is still not a reality, but it is already taking the first steps, which tend in the long-term, increase to an advanced level of management.

No abstract