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

Land use / land cover change detection: an object oriented approach, Münster, Germany

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

A pattern language for parallelizing irregular algorithms

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

Parallel run-time for CO-OPN

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

EFFECT – Efficient finite element code

The theme of this dissertation is the finite element method applied to mechanical structures. A new finite element program is developed that, besides executing different types of structural analysis, also allows the calculation of the derivatives of structural performances using the continuum method of design sensitivities analysis, with the purpose of allowing, in combination with the mathematical programming algorithms found in the commercial software MATLAB, to solve structural optimization problems. The program is called EFFECT – Efficient Finite Element Code. The object-oriented programming paradigm and specifically the C ++ programming language are used for program development. The main objective of this dissertation is to design EFFECT so that it can constitute, in this stage of development, the foundation for a program with analysis capacities similar to other open source finite element programs. In this first stage, 6 elements are implemented for linear analysis: 2-dimensional truss (Truss2D), 3-dimensional truss (Truss3D), 2-dimensional beam (Beam2D), 3-dimensional beam (Beam3D), triangular shell element (Shell3Node) and quadrilateral shell element (Shell4Node). The shell elements combine two distinct elements, one for simulating the membrane behavior and the other to simulate the plate bending behavior. The non-linear analysis capability is also developed, combining the corotational formulation with the Newton-Raphson iterative method, but at this stage is only avaiable to solve problems modeled with Beam2D elements subject to large displacements and rotations, called nonlinear geometric problems. The design sensitivity analysis capability is implemented in two elements, Truss2D and Beam2D, where are included the procedures and the analytic expressions for calculating derivatives of displacements, stress and volume performances with respect to 5 different design variables types. Finally, a set of test examples were created to validate the accuracy and consistency of the result obtained from EFFECT, by comparing them with results published in the literature or obtained with the ANSYS commercial finite element code.

Forest cover monitoring in the Bara district (Nepal) with remote sensing and geographic information systems

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Urban land use change analysis and modelling: a case study of Setubal-Sesimbra, Portugal

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Refinamento de diagramas de classes: análise e verificação

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

Urban land use and land cover change analysis and modeling a case study area Malatya, Turkey

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Governança e modelação de processos de TI

Estudos efectuados, ao longo dos últimos anos, têm demonstrado como os recursos de Tecnologia de Informação (TI) devem ser usados de maneira a propiciar a criação de ambientes organizacionais mais alinhados com as necessidades de negócio. Actualmente, vivemos um processo competitivo onde as organizações gerem muitos activos – pessoas, dinheiro, instalações, fornecedores, clientes – e investem fortemente em Tecnologia de Informação. Para que a organização consiga extrair benefícios concretos do processo de manipulação do conhecimento é necessário que esta possua mecanismos estruturais de gestão que permitam criar uma base de conhecimento adequada, levando a organização a preservar o seu capital intelectual. A governança de TI, na forma como é debatida actualmente no mercado, está mais focada no uso de boas práticas representadas por metodologias como CobiT (Control Objectives for Information and related Technology) e ITIL (Information Technology Infrastructure Library). No entanto, neste estudo vamos mais além e apresentamos uma visão de como a governança de TI pode ser útil ao alinhamento do negócio com a TI, através do uso de uma nova técnica que permite identificar os níveis de aptidão da gestão de serviços de TI, de modo a avaliar e gerir, não só os problemas complexos dos sistemas de informação e a tecnologia das organizações, mas também questões de gestão, operacionais e culturais. Esta dissertação propõe um método para avaliar o grau de maturidade da governança de TI dentro de uma organização. Simultaneamente, foram recolhidas métricas da complexidade dos processos de TI, as quais foram correlacionadas com os níveis de maturidade. Baseado nestas correlações, foi criado um modelo que interliga a governança de TI com o nível de complexidade dos processos de TI. Começamos por fornecer uma panorâmica sobre o trabalho que tem sido desenvolvido nas áreas de domínio desta dissertação; apresentamos alguns conceitos básicos sobre a governança de TI e qual a sua importância; relatamos detalhadamente a abordagem adaptada para determinar o perfil de governança de TI das empresas portuguesas; formalizamos um conjunto de indicadores quantitativos que permitem exprimir a complexidade de um processo, com recurso à linguagem OCL (Object Constraint Language), sobre um metamodelo BPMN (Business Process Modeling Notation); analisamos os resultados e apresentamos as conclusões. Esta dissertação termina com a identificação das linhas de orientação gerais para a continuação futura do trabalho desenvolvido.

Avaliação da qualidade em modelos de requisitos i*

As abordagens de engenharia de requisitos orientada a objetivos oferecem mecanismos que ajudam na elicitação e modelação de requisitos. A presente dissertação centra-se no framework i*, uma das mais importantes linguagens de especificação de modelos de requisitos orientados a objetivos, que conta com grupos de trabalho em mais de vinte países e com sete edições de workshops internacionais. Existem alguns problemas que podem afetar a qualidade de modelos i*. A sua criação pode resultar em modelos complexos e/ou incompletos, assim como incorretos devido ao mau uso da notação do i*. Estes problemas contribuem para a existência de dificuldades na gestão e compreensão dos sistemas de software o que, por sua vez, leva a um aumento dos custos de desenvolvimento. A qualidade dos modelos deve, então, ser uma preocupação constante, por forma a que sejam construídos modelos corretos, completos e cuja complexidade acidental seja minimizada. Não obstante a sua importância, a gestão eficaz destes três aspetos é, ainda, um problema em aberto. Nesta dissertação é proposto um conjunto de métricas para dar suporte à avaliação quantitativa dos atributos de qualidade complexidade, completude e correção nos modelos de requisitos i*. As métricas são definidas seguindo a abordagem Goal-Question- Metric, sendo definidas tanto de modo informal, em língua natural, como formalmente, em OCL (Object Contraint Language), e incorporadas numa ferramenta de modelação i* para que possam ser recolhidas de modo automático. As métricas são avaliadas experimentalmente, através de um conjunto de casos de estudo reais e académicos, e teoricamente, através de propriedades deWeyuker.

Analysis of support for modularity in object teams based on design patterns

Dissertação de Mestrado em Engenharia Informática

Type System for the ComponentJ Programming Language

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