[pt] Transparência é um critério de qualidade crítico para sociedades democráticas modernas. Como o software permeia a sociedade, a transparência se tornou uma preocupação para softwares operando em domínios públicos, sejam eles eGovernment, eCommerce ou softwares sociais. Dessa forma, a transparência de software está se tornando um critério de qualidade que demanda mais atenção dos desenvolvedores de software. Requisitos de transparência em um sistema de software estão relacionados a requisitos não-funcionais, como disponibilidade, usabilidade, informatividade, entendimento e auditabilidade. Entretanto, requisitos de transparência são especialmente difíceis de serem validados devido à natureza subjetiva dos conceitos envolvidos. Essa tese propõe o desenvolvimento intencional de software transparente dirigido por requisitos de transparência. Os requisitos de transparência são elicitados com o apoio de um catálogo de padrões de requisitos, relativamente validados pelos interessados através do uso de argumentação e representados em modelos intencionais. Modelos intencionais são fundamentais para a transparência de software, uma vez que associam aos requisitos as metas e os critérios de qualidade esperados pelos interessados e que justificam as decisões tomadas. Um sistema exemplo foi implementado como um sistema multi-agentes intencional, ou seja, com agentes colaborativos que implementam o modelo Belief-Desire-Intention e que são capazes de raciocinar sobre metas e critérios de qualidade. Essa tese discute as questões importantes para o sucesso da nossa abordagem de desenvolvimento de software transparente, como: (i) rastreabilidade requisitos-código e código-requisitos; (ii) o uso de lógica nebulosa para desenvolver uma máquina de raciocínio para agentes intencionais; (iii) a aplicação de argumentação para a validação relativa de requisitos de transparência através da obtenção de um consenso entre os interessados; e (iv) pré-rastreabilidade colaborativa para modelos intencionais baseada nas interações sociais. Nossas idéias foram validadas através de estudos de caso em diferentes domínios, tal como computação ubíqua e aplicações Web. / [en] Transparency is a critical quality criterion to modern democratic societies. As software permeates society, transparency has become a concern to public domain software, as eGovernment, eCommerce or social software. Therefore, software transparency is becoming a quality criterion that demands more attention from software developers. In particular, transparency requirements of a software system are related to non-functional requirements, e.g. availability, usability, informativeness, understandability and auditability. However, transparency requirements are particularly difficult to validate due to the subjective nature of the involved concepts. This thesis proposes a transparency-requirements-driven intentional development of transparent software. Transparency requirements are elicited with the support of a requirements patterns catalog, relatively validated by the stakeholders through argumentation and represented on intentional models. Intentional models are fundamental to software transparency, as they associate goals and quality criteria expected by the stakeholders with the software requirements. The goals and quality criteria also justify the decisions made during software development. A system was implemented as an intentional multi-agents system, i.e., a system with collaborative agents that implement the Belief-Desire- Intention model and that are capable of reasoning about goals and quality criteria. This thesis discusses important questions to the success of our approach to the development of transparent software, such as: (i) forward and backward traceability; (ii) a fuzzy-logic based reasoning engine for intentional agents; (iii) the application of an argumentation framework to relatively validate transparency requirements through stakeholders’ multi-party agreement; and (iv) collaborative pre-traceability for intentional models based on social interactions. Our ideas were validated through case studies from different domains, such as ubiquitous computing and Web applications.

[pt] Jogos educacionais vêm sendo propostos no ensino de ciências da computação, e também no ensino de a engenharia de software. Neste trabalho, apresentamos uma abordagem de modelagem intencional apoiada em conceitos de transparência para a implementação do jogo educacional SimulES. SimulES é um jogo para apoiar o ensino de engenharia de software. A abordagem é inovadora neste contexto. Acreditamos que a modelagem intencional é pertinente para modelar jogos, já que ela permite representar a interação e colaboração entre os atores, além de apoiar conceitos de transparência. Essa modelagem foi usada no desenvolvimento do software SimulES-W que implementa o jogo num ambiente Web. / [en] Educational games have been proposed for teaching computer science, and software engineering as well. This work presents an approach for intentional modeling supported by concepts of transparency towards the implementation of the educational game SimulES. SimulES is a game for helping software engineering teaching. The approach is innovative in that context. We believe that intentional modeling is akin to game modeling, since it allows us to represent the interaction and collaboration among the actors as well concepts of transparency. The intentional model we produced was used to develop the software that implements SimulES-W, a Web based version of the game.