Multy-dimensional composition by objectives in aspect-oriented requirements analysis

Thesis submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Master in Computer Science

NAV Portugal's performance within the single European Sky Initiative

NAV Portugal is the Air Navigation Service Provider in Portugal, providing air traffic control services in the airspace under the country’s responsibility. Recently, the company has been included in an initiative launched by the European Commission, called the Single European Sky. This aims for a unification of the European airspace, improving it in four main pillars: safety, capacity, environment, and cost-efficiency. To each of them, Key Performance Indicators need to be computed and monitored, all having pre-defined targets. The presented work project will be analyzing how NAV Portugal is doing in the pillar of capacity, proving suggestions if needed.

Analysis of classification algorithms for crop detection using LANDSAT 8 images

Remote sensing - the acquisition of information about an object or phenomenon without making physical contact with the object - is applied in a multitude of different areas, ranging from agriculture, forestry, cartography, hydrology, geology, meteorology, aerial traffic control, among many others. Regarding agriculture, an example of application of this information is regarding crop detection, to monitor existing crops easily and help in the region’s strategic planning. In any of these areas, there is always an ongoing search for better methods that allow us to obtain better results. For over forty years, the Landsat program has utilized satellites to collect spectral information from Earth’s surface, creating a historical archive unmatched in quality, detail, coverage, and length. The most recent one was launched on February 11, 2013, having a number of improvements regarding its predecessors. This project aims to compare classification methods in Portugal’s Ribatejo region, specifically regarding crop detection. The state of the art algorithms will be used in this region and their performance will be analyzed.

The effect of energy and traffic light labeling on parents purchasing decisions of cereals for their children

Objective: Nutritional labeling systems are considered a tool to fight obesity since they aim to contribute for more informed food choices as well as assist consumers to make healthier nutrition options and in this manner, contribute to a decrease in the obesity rate. This study intends to analyze the effect of different types of labeling systems on parents’ purchasing decisions for their children on a specific product: breakfast cereals. More precisely, how labels affect parents’ perception of healthiness regarding cereals and if the nutritional information has an effect on intended purchases for their children. Participants and methods: We conducted a study with 135 Portuguese parents of children aged 4 to12 years. Parents answered a questionnaire with one of three hypothetical cereals menus. Menus only differed in their nutritional labeling technique: no labels (control group), reference intake labels or traffic light labels. In addition, we conducted 20 face-to-face interviews to a different group of parents in order to perform a recall task. Findings: This paper provides no evidence to suggest that energy labeling or traffic light labeling systems alone were successful in helping parents making healthy purchases of cereals for their children. Therefore, there is the need to promote supplementary policies to encourage the consumption of healthier food and help fight obesity.

New Shop Floor Control Approaches for Virtual Enterprises

The virtual enterprise paradigm seems a fit response to face market instability and the volatile nature of business opportunities increasing enterprise’s interest in similar forms of networked organisations. The dynamic environment of a virtual enterprise requires that partners in the consortium own reconfigurable shop floors. This paper presents new approaches to shop floor control that meet the requirements of the new industrial paradigms and argues on work re-organization at shop floor level.

Dpws middleware to support agent-based manufacturing control and simulation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Model driven development implementation of a control systems user interfaces specification tool

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Orchestration of heterogeneous middleware services and its application to a comand and control platform

MSC Dissertation in Computer Engineering

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática