Abstract
One of the current trends in the luxury market is the development of offers targeted to the millennial generation. In fact, this generation is seen as a potentiator of market growth, considering that the future of the luxury sector will depend on the capacity to reach this generation. This topic is particularly relevant for the marketing area, namely for the tourism sector. Another of the major trends for the tourism sector is the sustainability issue, with an emphasis on ecotourism. In this work we discuss the main contributions of the literature that allow to interlink the domains of luxury marketing, millennial generation, and ecotourism, proposing a set of hypotheses for future research. © 2019 AISTI.

Abstract
In make-to-order (MTO)/engineer-to-order (ETO) business environments multiple customer-oriented projects compete for and share resources through interdependent engineering and production activities. Deep knowledge of critical dimensions that affect performance is key in this context. For this, we propose a set of determinants - workload, complexity, outsourcing, design reuse, project type, and knowledge/experience with technology, that impact performance. These determinants are input to an extended hybrid simulation model using system dynamics (SD), discrete event simulation (DES) and agent-based simulation (ABS) that tackles the needs imposed by activities of very different nature, as the project development and manufacturing/assembly operations. The hybrid model is applied to the case of an advanced manufacturing company. Through Monte Carlo sampling, the influence of different combinations of determinants in the performance variability is assessed. A correlation analysis shows evidence of association between all performance determinants and the project time and cost, while no evidence of association between the design reuse and project type determinants and the manufacturing and assembly time.

Abstract

Abstract
Formal verification has the potential to provide a level of evidence based assurance not possible by more traditional development approaches. For this potential to be fulfilled, its integration into existing practices must be achieved. Starting from this premise, the position paper discusses the opportunities created and the challenges faced by the use of formal verification in the analysis of critical interactive computing systems. Three main challenges are discussed: the accessibility of the modelling stage; support for expressing relevant properties; the need to provide analysis results that are comprehensible to a broad range of expertise including software, safety and human factors. Copyright © 2019 for this paper by its authors.

Abstract
Using time series data for Portugal between 1973 and 2016, this paper examines to what extent, inward FDI contributes to income inequality and poverty in the long-run. It was found that increased flows of inward FDI are associated with a less unequal income distribution and lower poverty rates. The results further suggest that, in the Portuguese case there is mutual causality between inward FDI and poverty in the long run, i.e., FDI significantly reduces poverty, and lower levels of poverty lead to higher inward FDI flows. In the case of inequality, the evidence shows that FDI does not contribute to higher (or lower) income inequality. Instead, more unequal income distributions significantly and negatively impact on inward FDI in the long run. Finally, human capital emerged as a key determinant to mitigate income inequality and circumvent poverty, contributing, indirectly, to fostering additional FDI inflows. Such results call for integrated public policy interventions that emphasize social and institutional dimensions.

Abstract