Representação de categorias

Nesta vídeoaula será exposto os principais elementos utilizados na representação do conhecimento em categorias e as formas de raciocínio sobre tais conhecimentos. Uma das técnicas utilizadas é a dedução, que a partir das propriedades é possível o uso de determinadas categorias. Os seguintes conceitos trabalhados são taxonomia, herança e o de categorias disjuntas na qual necessita de informações adicionais para serem representadas. Na decomposição exaustiva veremos que todo elemento da classe pertencem obrigatoriamente a uma das subclasses, já a partição é uma mistura da decomposição exaustiva com a categoria disjunta. A categoria lógica de 1º ordem esta dividida em predicados e objetos, ponto importante na hora de trabalhar com conceitos neste nível. Veremos também que existem duas grandes famílias de sistemas as chamadas redes semânticas e lógicas descritivas. A lógica descritiva fornece uma linguagem formal para construção de categorias, já a semântica oferece recursos gráficos para visualizar uma base de conhecimento, esta será mais explorada nesta aula expondo os tipos de relações permitidas, a forma como se trabalha usando esses valores e como aplicá-las. Este material destina-se a alunos de graduação na área de Sistemas de Informação, Engenharia da Computação, Ciência da Computação, Análise e Desenvolvimento de Sistemas, Sistemas para Internet e cursos correlatos relacionados ao conteúdo.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Arquitectura semântica para a integração de sistemas no domínio do turismo

A indústria do turismo caracteriza-se pela sua heterogeneidade e pelo grande volume de transacções realizadas on-line. Cada vez mais os pequenos operadores turísticos optam por desenvolver os seus pequenos sistemas de reservas, para não terem de estar submetidos ao pagamento de comissões às entidades que gerem os grandes sistemas de informação turística. Devido a este facto, têm surgido um grande número de novas fontes de informação turística na Internet. A proliferação de informação turística torna complexo o planeamento das férias por parte do turista. A implementação de sistemas de integração de informação turística torna-se uma necessidade urgente. Ao mesmo tempo que ajudam o turista no planeamento das férias, também permitem aos operadores implementarem novas estratégias de marketing. Uma destas novas estratégias de marketing passa pela implementação do conceito de “Dynamic Packaging”. O “Dynamic Packaging” permite ao turista, ou ao agente turístico, a construção de pacotes que incluem produtos turísticos escolhidos por este sem qualquer limitação. Aos operadores turísticos, permite a criação de regras de negócio sobre a constituição de um pacote. As regras são depois aplicadas dinamicamente à medida que os pacotes são definidos. A arquitectura SEED define a implementação de um sistema de integração de informação turística. Pretende também disponibilizar a base para a implementação de sistemas que suportem o “Dynamic Packaging”. A integração da informação é realizada através da utilização das tecnologias associadas à Web Semântica. A implementação do “Dynamic Packaging” é suportada pela utilização de motores de inferência que permitem a definição e interpretação de regras semânticas.

Os desafios da educação hospitalar para além da escola formal: um estudo das práticas desses educadores

Orientador: Robson Luiz de França

Sintaxe e semântica do verbo ser no romance em nome da terra de Vergílio Ferreira

O meu encontro literário com Vergílio Ferreira deu-se há cerca de seis ou sete anos, quando resolvi comprar e ler Cartas a Sandra, romance que como o nome indica é escrito como se de uma compilação de cartas se tratasse e que foi deixado incompleto e editado postumamente. Esta edição póstuma é da responsabilidade da herdeira (esposa do autor) e do Círculo de Leitores. Inicialmente, confesso, fui seduzida pelo título, mas depois, a leitura da obra deixou uma vontade sôfrega de querer saber mais sobre a escrita vergiliana. Nas disciplinas de literatura da minha licenciatura, pouco ou nada se tratou sobre Vergílio Ferreira mas, apesar disso, encetei algumas pesquisas e leituras que me foram despertando, cada vez mais, o interesse e a predilecção pelas obras deste autor. Mais tarde, já no Curso de Mestrado, ponderei a possibilidade de uma abordagem ao romance em nome da terra e sobre o qual tinha conhecimento da existência de alguns trabalhos, na sua maioria, ao nível da análise literária e/ou estilística. Com uma apetência natural para a área da linguística, considerei com carinho a hipótese de elaborar uma Dissertação de Mestrado que se aproximasse mais do campo da interpretação e análise linguísticas, nomeadamente do valor do verbo Ser na escrita vergiliana e, em particular, no romance-problema em jeito de carta. Consciente de que a tarefa não iria ser fácil, que teria, necessariamente, que envolver a leitura e releitura (nalguns casos de modo transversal) de todo um conjunto de produções, quer do autor, quer dos que ao seu estudo se dedicaram, quer ainda de obras de carácter filosófico e existencialista, foi com agrado que comecei a minha pesquisa e, a posteriori, a selecção dos materiais que julguei pertinentes para a prossecução do objectivo que me tinha proposto. Por conseguinte, tenho que agradecer a todas as pessoas que me ajudaram, de uma ou de outra forma, em especial ao Professor Doutor João Malaca Casteleiro, pelo facto de ter aceite o meu pedido de orientação da presente Dissertação, pela sua disponibilidade e paciência, pela cedência de alguns materiais, pelos seus comentários sábios e experientes e, acima de tudo, pela sua sabedoria na matéria e pelo interesse demonstrado quanto ao tema, o que se traduz, ao que julgo, naquilo que se entende, verdadeiramente, por orientação de uma Dissertação de Mestrado. Agradeço também aos colegas do curso que me motivaram, em particular à Judite e à Natália, que tiveram a coragem de assumir um compromisso de amizade, pelo facto de me ouvirem, questionarem e, principalmente criticarem e encorajarem aquando das nossas discussões sobre este meu trabalho. Por último, não poderia deixar de referir e agradecer igualmente a simpatia com que fui recebida pela Dona Augusta e pelo senhor professor José Rodrigues, na Vila Josephine1, morada de férias de Vergílio Ferreira, em Melo, e onde foram escritos muitos dos seus trabalhos (nas férias grandes, com uma caneta de nanquim virada ao contrário, para conseguir uma caligrafia mais fina e apurada, e num sofá cor-de-rosa-velho, ao pé da janela, com uma tábua nos joelhos a servir de escritório, o cinzeiro do lado esquerdo2). Gostaria ainda de agradecer a sua pronta e sábia ajuda, por terem partilhado comigo detalhes sobre o autor e que não vêm nos livros, sendo o Professor, ele próprio, um livro aberto no que se refere ao seu cunhado e amigo Vergílio, aos seus trabalhos, à sua vontade de valorizar um escritor que lhe foi tão próximo... Agradeço-lhe ainda o privilégio de me ter permitido trabalhar um pouco no escritório do autor. Esse momento proporcionou-me mais uma de muitas alegrias breves de que tem sido constituída a minha também breve existência, e a consciencialização para o facto de que o meu caminho ainda fica muito longe e, fazendo uso de palavras de Vergílio Ferreira: “A estrada é larga e segura porque foi construída apenas pela experiência dos homens. Não percas mais os teus passos pela areia movediça e estéril…”. Procurarei, pois, seguir estes e outros sábios conselhos, à medida que desenvolver este trabalho.

Representações sociais de velhice em contexto de prestação formal de cuidados

Universidade da Madeira. Centro de Ciência e Tecnologia da Madeira

Outorga onerosa do direito de construir e dinâmica do mercado imobiliário formal: planejamento e descaminhos na expansão urbana de Parnamirim RN (2008-2010)

The `Outorga Onerosa do Direito de Construir - OODC` (Public Concession of Building Rights), instrument instituted by The City Statute in 2001, has as main objective the recovery of urban property, seeking for a fair distribution the urbanization benefits. The possibility of usage of the OODC instrument is linked to the maximum utilization coefficient, determined to specific areas in accordance to existing infrastructure conditions, further taking into account the formal real estate market, expansion axis and crowding. Being an instrument which establishes values to be paid for a better use of land, it maintains a narrow relation to the real estate, incentivizing or discouraging the crowding in specific areas. The present study investigates the relationship between the criteria for the making of the Public Concession of Building Rights instrument and the dynamics of the formal real estate market. It takes as empiric universe Parnamirim (RN), part of the Natal Metropolitan Area (RN), focusing on the application of the OODC in the period of 2008-2010. It seeks to better understand the necessary basis for the formulation of the instrument, about how it works and its relation to the formal real estate market. It aims to depict the formal real estate market by presenting the production of urban space in Parnamirim in terms of intensity and nature of the real estate, furthermore identifying the licensed properties through the application of the municipality instrument. For the conclusion, it is discussed the criteria for the formation of OODC, its relationship to the dynamics of the formal real estate market and its influencing possibilities in the processes of usage and occupation of land in the context of urban planning

Cuidado formal em saúde bucal: percepção de senescentes

Ações promotoras de saúde e independência para pessoas idosas são indispensáveis. Compreender essa construção no cotidiano da provisão dos cuidados talvez estimule o desenvolvimento de capacitações ao bem estar nesta população. O objetivo deste estudo foi Identificar a repercussão da provisão do cuidado formal em saúde bucal na percepção de senescentes. Desenvolvemos uma pesquisa de base qualitativa com abordagem fenomenológica, onde realizamos entrevistas semiestruturadas e individuais com 30 pessoas de idade superior a 50 anos (22 mulheres e 08 homens), em um Centro de Convivência na cidade de Natal/Rio Grande do Norte, no nordeste do Brasil. Os relatos obtidos foram analisados em cinco estágios: transcrição dos discursos sem preocupação interpretativa; limpeza de erros linguísticos e repetições; leitura repetitiva e exaustiva para apreensão do sentido das informações coletadas; seleção das unidades significativas dos discursos, correspondendo aos trechos relevantes no horizonte do fenômeno em estudo; e compreensão da ideografia elaborada pelos participantes por grupos temáticos simbólicos. Assim, identificamos as essências temáticas de: determinante social e iniquidade em saúde bucal; e provisão de cuidados de saúde bucal e mal-estar físico, mental e social. Concluímos que a prestação de cuidados agregando abordagem humanístico-ética pode levar a vivências dignificantes no processo de envelhecimento, destacadamente quando estimula a promoção da segurança pessoal. O âmago desse trabalho descortina uma vertente multidisciplinar que perpassa a saúde, a educação e a ética