Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Estudo numérico do escoamento e transporte de sedimentos em torno de pilares de pontes

Dissertação de mestrado integrado em Engenharia Civil

O estudo da aplicação de acabamentos funcionais de barreira UV em fibras previamente ativadas por plasma

Tese de Doutoramento Engenharia Têxtil

Análise da viabilidade económica das empresas de pavimentação rodoviária em cenário de crise

Dissertação de mestrado integrado em Engenharia Civil

Análise integrada dos impactes ambientais e do desempenho energético de cenários de reabilitação energética de edifícios

Dissertação de mestrado integrado em Engenharia Civil

Os técnicos superiores de reeducação e o trabalho prisional

Dissertação de mestrado em Crime, Diferença e Desigualdade

Cultura à vista: o postal ilustrado como estratégia de promoção das artes e da cultura

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

A imprensa desportiva do papel ao online: o exemplo do jornal Record

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Interpersonal and attitudinal factors in women's work role: Cross-cultural comparison

The last four decades have seen a dramatic increase in the number of women entering employment. This is particularly true in Europe and although more European women are working outside the home, the patterns of female employment have changed very little. An analysis of these patterns is presented. It was found that women continue to dominate specific fields, particularly teaching and service providing. An investigation of the interpersonal behavior differences among 117 American women from the southeastern United States in three work roles--homemakers, women in traditional occupations, and in nontraditional occupations--was conducted and the sex-role orientation, attitudes toward success, and demographic indicators were examined in order to consider the interplay of these variables with female occupational role and interpersonal behavior. A second focus of the study is on the cross-cultural comparison of the psychological and work variables in women of two different cultures: America and Portugal. Thirty-one Portuguese women were a preliminary comparison sample. The American results showed significant differences between groups in self-perceived interpersonal behaviors and the findings contradicted current stereotypes. The cross-cultural data, although preliminary, indicates differences between the countries in social desirability, aggressive and assertive behaviors, and in sex-role attitudes, which seem to reflect the different stages of economic development. (MKA)

The construction of professional identities in the contexts of work

This chapter identifies and analyzes some characteristics of working situations that are important in the construction of professional identities. It is claimed that professional identity presumes a dynamic process and is constructed and reconstructed in social situations and interactions. Work has a central place in the life of individuals and societies. The contexts of work are places par excellence for investment, expression, negotiation and recognition of the actor themselves and of others. They are, thus, situations for the attribution offeelings about work, ofrelational transactions, oflearning and production of professional know ledge, which are fundamental elements in the (re )construction of professional identity and which are emphasized here below.

Communications with QoS in IoT&Cloud environment

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

A promoção do capital psicológico,work engagement e saúde mental de trabalhadores

Dissertação de Mestrado em Políticas de Desenvolvimento de Recursos Humanos