Orientador: Rogerio Drummond Burnier Pessoa de Mello Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencias da Computação / Made available in DSpace on 2018-07-13T23:24:56Z (GMT). No. of bitstreams: 1 Polanczyk_CarlosAlexandre_M.pdf: 2413653 bytes, checksum: 324baa5204e9b23bcdc396aa43b2bfde (MD5) Previous issue date: 1991 / Resumo: Programas grandes e complexos devem ser organizados como uma hierarquia de módulos. Desta forma a manipulação destes módulos fica facilitada, pois cada módulo tem a função de abstrair os detalhes de sua implementação, e dos outros módulos dos quais depende. Macroscopicamente, um programa é um grafo orientado com raiz onde cada vértice representa um módulo e cada aresta uma dependência entre dois módulos. A documentação terá uma estrutura análoga e isomorfa ao do grafo do programa. O mesmo ocorrendo com a sua especificação. Portanto, tornase necessárias ferramentas que manipulem estes grafos. É fácil verificar que estes grafos podem ser vistos como hipertextos, ou seja, um texto hierarquicamente estruturado. Este trabalho apresenta uma ferramenta para. manipular programas como objetos hierárquicos. Ela é baseada em hipertexto e sua funcionabilidade é geral o suficiente a outras aplicações que não seja programação. Para alcançar tal generalidade, todo e qualquer arquivo ASCII é um hipertexto. O sistema desenvolvido é independente de terminal e facilmente portável para outro; sistemas compatíveis com Unix4. Já está. adaptado para Digix, Clix e SunOS. Estes sistemas são derivados de versões bastante diferentes do Unix: System III, System V 3.2 e BSD 4,2, respectivamente. / Abstract: Large and complex programs should be organized as a module hierarchy. In this way, the handling of modules becomes easy, because each module has the function of hiding its detail of implementation and from others modules it depends upon. Macroscopicly, a program is a rooted oriented graph where each vertice represents a module and each edge represents dependence between two modules. The documentation will have as analogous and isomorphic structure. The same happens to the specification. 80, it becomes necessary a tool to handle this graph. It is easy to check that this graph can be viewed as hypertexts, it est, a structured hierarchy text. This work presents a tool for handling programs as a hierarchy objects. It is based on hypertext and its functionality is enough general to others aplications th.an programation. To achieve this generality, even a plain ASCII file is a hypertext. The system is device independent and easy to port to any other Unixlike systems. At present, it is already working on Digix, Clix and SunOS. These systems were derivated from deferent's versions of Unix: System III, System V3.2 and BSD 4.2. / Mestrado / Mestre em Ciência da Computação

Orientador: Celso de Almeida / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-19T12:29:22Z (GMT). No. of bitstreams: 1 Costa_RossiniTrindade_M.pdf: 6164891 bytes, checksum: 5c96c4c7e91173b0a24315a4d03611c5 (MD5) Previous issue date: 1994 / Resumo: Tendo sido desenvolvido num ramo da matemática conhecido como Dinâmica Simbólica, o algoritmo dos Blocos Deslizantes, constitui-se num procedimento sistemático e eficiente na busca por códigos com as características desejáveis. Será apresentada neste trabalho, uma discussão completa e com exemplos do algoritmo, sem entrar nos detalhes matemáticos que lhe são inerentes. Serão enfatizadas as técnicas componentes deste (divisào e fusão de estados, além do algoritmo do autovetor aproximado) e sua implementação via um software desenvolvido pelo autor. Como forma de validação da ferramenta, o programa foi adaptado para gerar códigos RLL. que são códigos cujo objetivo principal é aumentar a densidade de armazenamento de dados em meios magnéticos e óticos. Diversos códigos obtidos serão apresentados. A análise destes, considerando parámetros como complexidade do codificador e decodificador, mostrou que os resultados encontram-se próximos dos limitantes permitidos comprovando assim a funcionalidade do software. Um detalhe importante é que apesar do programa ter sido implementado para códigos RLL, ele pode ser facilmente adaptado para incorporar outros tipos de códigos restritos a sistemas de estados finitos bastando, para isso, pequenas alterações em algumas rotinas do programa / Abstract: Sliding Block algorithm was developed in a branch of mathematics known as Symbolic Dynamics and it consists of a systematic and efficient procedure to fineI codes with desirable characteristics. This work will present a complete discussion of this algorithm, without emphasis on the rigorous mathematical details that are inherent in it. The techniques that constitute this algorithm will also be emphasized (state mergillg and splitting) and its implementation through a software developed by the author. The software was adapted to generate RLL codes, which are codes with the objective to increase data storage density in magnetic and optical media. Several codes will be presented. Analysis of them, considering parameters like encoder and decoder complexity, and the number of states show that the resuIts were found near to the available bounds showing the efficiency of the software. It's important to remark that, though the software had been implemented to find RLL codes, it can be easily adapted to obtain other kinds of codes, with small changes in some routines of the sofhvare / Mestrado / Mestre em Engenharia Elétrica

LIMA, Eric Buarque de. A aprendizagem experiencial em empresas cearenses de desenvolvimento de software. 2008. 183 f. Dissertação (mestrado) - Universidade Federal do Ceará, Faculdade de Economia, Administração, Atuária e Contabilidade, Programa de Pós-Graduação em Administração e Controladoria, Fortaleza-CE, 2008. / Submitted by Dioneide Barros (dioneidebarros@gmail.com) on 2016-04-07T13:29:14Z No. of bitstreams: 1 2008_dis_eblima.pdf: 923588 bytes, checksum: 5caa9bf82f0627189e743030a4552916 (MD5) / Approved for entry into archive by Dioneide Barros (dioneidebarros@gmail.com) on 2016-04-13T15:07:48Z (GMT) No. of bitstreams: 1 2008_dis_eblima.pdf: 923588 bytes, checksum: 5caa9bf82f0627189e743030a4552916 (MD5) / Made available in DSpace on 2016-04-13T15:07:48Z (GMT). No. of bitstreams: 1 2008_dis_eblima.pdf: 923588 bytes, checksum: 5caa9bf82f0627189e743030a4552916 (MD5) Previous issue date: 2008 / This work shows a research about experiential learning on the field of companies that develop softwares in Ceará-Brazil. The main goal is to investigate the contributions of experiential learning practices for professionals working in this kind of companies, starting with their politics, processes and formal practices of training, besides maping and analyzing the initiatives and strategies that individuals, groups and organizations held for this purpose. A literature review was done about the basis of education and experiential learning, the learning in the knowledge management area and in the total quality management, as well as the formal and informal aspects of learning, and formative experiences. Having the project managers as subjects, three companies were investigated through this study of multiple cases. In methodological terms, this research has a qualitative nature, it is characterized as explorative, descriptive and bibliographic. On the process of data collection, semi-structured interviews were used and, for the data analysis, the content analyses. The results showed that the professional development is helped by the use of experiential learning in these companies, but there is a need to improve the processes of learning evaluation and knowledge management. The employees of these companies prefer the experience-based learning and peer learning, they consider the internet their first source of knowledge; the groups develop their knowledge and learning mostly through the method of “conception proof”; and the organizations encourage their employees to study and research for new technologies and methodologies at any time of the working shift and use team meetings as a way of transferring of knowledge. / Este estudo objetivou investigar as contribuições das práticas de aprendizagem experiencial para o desenvolvimento de competências de gerentes de projetos em empresas cearenses de desenvolvimento de software. Trata-se de uma pesquisa exploratória e descritiva, por meio de uma pesquisa de campo, de base qualitativa, em estudos de casos múltiplos em três empresas cearenses de produção de software afiliadas ao Instituto Titan, com sede em Fortaleza-CE, e que possuem como principal atividade o desenvolvimento de software. A pesquisa bibliográfica e documental, bem como a coleta de dados por meio de questionários semi-estruturados foi orientada pelo estudo das práticas formais e informais de aprendizagem individual, em grupo e organizacionais, além dos mecanismos de reconhecimento da capacitação profissional dos referidos sujeitos. Os resultados da pesquisa mostraram que, nas organizações pesquisadas, a aprendizagem e a capacitação profissionais ocorrem preferencialmente pela via experiencial do peer learning e do autodesenvolvimento apoiado na internet. Embora as referidas organizações estimulem as práticas experienciais identificadas e a troca de conhecimentos no contexto dos grupos de trabalhos, inexistem procedimentos formalizados e estruturados de planejamento, execução, avaliação de resultados e de legitimação das competências desenvolvidas experiencialmente.

Orientador : Geovane Cayres Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencias da Computação / Made available in DSpace on 2018-07-13T23:21:32Z (GMT). No. of bitstreams: 1 Hara_CarmemSatie_M.pdf: 2865734 bytes, checksum: 5b47a600f210a329ddbc6a6bcbff5366 (MD5) Previous issue date: 1990 / Resumo: Muito tem se pesquisado sobre banco de dados orientados a objetos (DDOO). Alguns protótipos de sistemas de gerenciamento para estes bancos de dados foram recentemente desenvolvidos, porém há uma carência de experiências práticas nesta área. Esta tese procurou justamente experimentar com um destes protótipos utilizando uma aplicação apropriada à orientação a objetos, com o objetivo de identificar problemas na modelagem e implementação, bem como verificar se as facilidades oferecidas pelo protótipo são adequadas à solução do problema. Damokles é um protótipo de BDOO desenvolvido na Universidade de Karlsruhe com o propósito de dar suporte a ambientes de projeto. Seu modelo de dados estende o modelo entidade-relacionamento com os conceitos de composição de objetos e versões, além-de possuir um tipo de dado destinado ao armazenamento de campos longos. Ele foi utilizado na implementação do ADS A_HAND (Ambiente de desenvolvimento de software baseado em Hierarquias de Abstração em Níveis Diferenciados), que está atualmente sendo desenvolvido" pelo;Departamento de Ciência da Computação da Unicamp. Para o projeto conceitual do ambiente, criou-se um modelo de diagramação baseado no modelo de dados Damokles. Representações de alguns conceitos não suportados pelo mesmo foram incorporados a este sistema a fim de tornar a experiência mais rica no sentido de testar como se comporta o mapeamento de um modelo mais poderoso para o do Damokles / Abstract: Object oriented database systems (OODBS) have been researched in a great deal. Recently, some prototypes of these systems were developed, but there is a lack of practical experiences in this area. This thesis reports an experience in using one of these prototypes for~an application suited to the object orientation, in order to identify modelling and implementation problems, as well as to verify if the prototype features were adequate in the problem solution. Damokles is a prototype of an OODBS developed at the Karlsruhe University. It is directed to design environments and- its data model extends the entity-relationship model with the concepts of objects and versions composition, and also the long-field data type. It was used in the implementation of a software development environment (SDE), A_HAND, being developed at the Computer Science Department of UNICAMP. A diagrammatic model, based on Damokles, was created for the modelling of A_HAND. Concepts not present in the database were used to enrich the experience with the mapping from a more.comprehensive model to the Damokles one / Mestrado / Mestre em Ciência da Computação

Orientador : Mario Jino / Tese (doutorado) - Universidade Estadual de Campinas, Faculade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:55:05Z (GMT). No. of bitstreams: 1 Maldonado_JoseCarlos_D.pdf: 13681969 bytes, checksum: b44b673a8acb70911b0a9e0f18585196 (MD5) Previous issue date: 1991 / Resumo: Uma família de critérios de teste estrutural baseada em análise de fluxo de dados, denominada Família de Critérios Potenciais Usos é definida, com a introdução do conceito Potencial Uso. Essa família de critérios estabelece uma hierarquia de critérios entre os critérios todos os ramos e todos os caminhos, e ainda satisfaz o requisito mínimo de cobertura do ponto de vista de fluxo de dados, mesmo na presença de caminhos não executáveis. Mostra-se que a complexidade desses critérios, assim como a dos demais critérios baseados em análise de fluxo de dados é de ordem exponencial. São caracterizados alguns modelos básicos para automatização desses critérios com o objetivo de estabelecer um núcleo básico para a automatização de critérios de teste estrutural; investiga-se o uso do conceito de arco essencial [CHU87] no contexto de teste baseado em fluxo de dados. Os principais aspectos da especificação, projeto e implementação de uma ferramenta multilinguagem, denominada POKE- TOOL, para suporte ao teste estrutural baseado em fluxo de dados de programas, são apresentados. Os resultados da aplicação de um benchmark, com o uso da POKE- TOOL, para avaliação empírica dos critérios Potenciais Usos são discutidos. A análise dos resultados obtidos indica que, do ponto de vista prático, esses critérios demandam um baixo número de casos de teste e contribuem para demonstrar que os critérios de teste estrutural baseados em análise de fluxo de dados são exeqüíveis. Vários modelos de estimativas para previsão do número de casos de teste requeridos são analisados e são explorados alguns modelos para previsão do número de caminhos não executáveis. São também discutidos alguns aspectos de medidas de complexidade de software relacionados com as atividades de teste de soft ware / Abstract: Potential Uses Criteria Family (PU) - a family of data flow based structural testing criteria - is defined, introducing a new concept: the potential use. This criteria family establishes a hierarchy including all-edges and all-paths criteria, in addition to satisfying the minimum coverage requirements from the data flow point oí view, even in the presence oí unexecutable paths. It is shown that the complexity of these criteria, as well as of the other data flow based criteria, have exponencial order. Some basic models are proposed aiming at establishing a uniíorm mechanism to automate data flow based structural testing criteriaj the essential branch concept [CHU87] is investigated. The main aspects of the specification, design and implementation of a multilanguage tool, named POKE- TOOL, for data flow based structural testing of programs are presented. Results of a benchmark conducted to empirically evaluate Potential Uses Criteria, using POKE- TOOL, are discussed. Analysis of these results points out that, in practice, a small number of test cases are required by these criteria; this contributes to show that data flow based structural testing criteria can be applied in industrial software production environments. Models to estimate the number of test cases and the number of infeasible paths are explored. Some aspects of software complexity metrics related to soítware testing activities are also discussed. / Doutorado / Doutor em Engenharia Elétrica

Orientador : Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:48:33Z (GMT). No. of bitstreams: 1 Chaim_MarcosLordello_M.pdf: 9685376 bytes, checksum: 62dd048f141f0aa396783b07b16c711e (MD5) Previous issue date: 1991 / Resumo: Os principais aspectos da especificação e implementação de uma ferramenta multilinguagem para suporte ao teste estrutural de programas baseado em fluxo de dados são apresentados. Na versão atual a ferramenta, denominada PORETOOL, suporta o teste de programas escritos na linguagem C e automatiza a aplicação dos critérios Potenciais Usos (PU) [MAL88a, MAL88b]. Os pontos mais relevantes e os principais algoritmos da implementaçâo são apresentados em detalhe. São também descritos os passos do procedimento a ser realizado por um usuário configurador para gerar configurações desta ferramenta para outras linguagens procedurais. Os aspectos funcionais e de controle de atividades da POKE- TOOL são ilustrados através de uma sessão de trabalho completa, que mostra a aplicação da ferramenta em um programa; o programa exemplo foi extraído de um conjunto de programas utilizado para conduzir um "benchmark" dos critérios Potenciais Usos / Abstract: The main aspects of the specification and implementation of a multilanguage tool for structural data flow testing of programs are presented. In the present version, the tool, named POKE- TOOL, supports the test of programs written in C; it automates the application of the Potential Uses Criteria [MAL88a, MAL88b]. The most relevant points and main algorithms of the implementation are presented in detail. We also describe the steps of the procedure to be carried out by a user-configurer to generate configurations of the tool for other procedural languages. Functional and activities control aspects of POKE- TOOL are ilustrated through a complete work session, showing the application of the tool on a program; the examp]e program was extracted from a set of programs used to conduct a benchmark of the Potential Uses criteria / Mestrado / Mestre em Engenharia Elétrica

Orientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia Daltrini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:55:18Z (GMT). No. of bitstreams: 1 Aguilera_LuizManoel_M.pdf: 8911300 bytes, checksum: 9c90f520e3ebe9300dc43c765d322d38 (MD5) Previous issue date: 1989 / Resumo: O conteúdo deste trabalho aborda a geração automática de Redes de Petri a partir da Especificação de um Sistema de Software com Características Tempo Real, utilizando ambiente de programação Prolog. A especificação do sistema é feita através de duas interfaces: "Interface de Especificação de Sistemas" que reúne um conjunto de conceitos cujo objetivo é especificar, decompor e inter-relacionar diferentes objetos de projeto e "Interface de Especificação da Dinâmica de Sistemas" cujo objetivo é especificar, interpretar e descrever as condições de simulação de algumas das características dinâmicas de um Sistema de Software Tempo Real. O modelo em Rede de Petri gerado automaticamente é traduzido em arquivos atendendo aos padrões de entrada de dados de um Analisador de Redes de Petri desenvolvido na USP/SP e um Simulador de Redes de Petri desenvolvido no LAAS/Toulouse/França; cujo objetivo é validar nas etapas iniciais do ciclo de vida, as especificações do Sistema de Software com Características Tempo Real Projetado / Mestrado / Mestre em Engenharia Elétrica

Orientador: Furio Damiani / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:14:09Z (GMT). No. of bitstreams: 1 Simoes_JoseOtavio_M.pdf: 18558895 bytes, checksum: 98076aae67386f66574748e892750959 (MD5) Previous issue date: 1991 / Resumo: O escopo deste trabalho é a especificação, implementação e teste operacional de um "Ambiente Interativo de Desenvolvimento de Software para Testes e Medidas Elétricas" - AIDS_TME, com características modulares e de alta reusabilidade de rotinas básicas na produção de software. O aumento da produtividade e da qualidade dos programas gerados dentro deste ambiente é uma característica inerente a sistemas dessa natureza (CASE). A filosofia que norteia este desenvolvimento está baseada em anos de experiências em laboratórios e áreas de manutenção eletroeletrônica, bem como na utilização de instrumentação com interface GPIB - "GENERAL PURPOUSE INTERFACE BUS", visando atender as necessidades de produção de uma enorme variedade de programas de testes para automatizar atividades rotineiras ou para a execução de ensaios extremamente longos e complicados / Abstract: The purpose of this work is the specification, implementation and operational testing of an Interative Environment of Software Development for Testing and Electrical Measurements (AIDS_TME), with modular characteristics and high reusability of basic routines in the software production. The increase in the productivity and quality of programms generated into this environment is an inherent characteristic to the systems of this nature (CASE). The philosophy that guides this development is based on years of experiency in laboratories and eletronic mantenance areas as well as the utilization of instrumententationwith GPIB "General Purpose Interface Bus" interface, aiming at the attendance of necessity of production of a large variety of testing programs to automatize routine activities or to perform complex and extremely long testing / Mestrado / Mestre em Engenharia Elétrica

Orientadores : Jorge Moreira de Souza, Hermano Medeiros Ferreira Tavares / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:13:43Z (GMT). No. of bitstreams: 1 Martini_MartaRettelbuschdeBastos_D.pdf: 13837232 bytes, checksum: 5c9bcf15200051e0fdbb9f2835ff56a7 (MD5) Previous issue date: 1991 / Resumo: À medida que a importância dos sistemas computacionais cresce na sociedade moderna, mais rigorosos se tornam os requisitos de qualidade a que têm que atender. Atualmente a complexidade do processo de desenvolvimento do hardware e do software força a que os defeitos de concepção sejam também considerados na avaliação da segurança de funcionamento de sistemas, além da deterioração física dos seus componentes. A modelagem e a análise de dados de falhas de concepção que o sistema apresentou em operação são técnicas de controle de qualidade usadas para avaliar a qualidade de serviço de sistemas, a fim de se obter resultados quantitativos.Estes resultados são um instrumento valioso para a gerência do desenvolvimento ao longo de todo o processo de desenvolvimento do sistema. Os defeitos de concepção do hardware e do software são da mesma natureza. É mostrado que os modelos e teorias desenvolvidos nas últimas duas décadas para a garantia de funcionamento de software podem ser utilizados para analisar a concepção do hardware. Este trabalho apresenta uma metodologia de garantia de funcionamento quanto a falhas de concepção baseada na análise prévia da tendência da série de dados de falha antes da modelagem do processo de falha. O processo de falha é dividido em períodos no tempo nos quais a tendência da série de dados é relacionada à hipótese de tendência dos modelos aplicados. A metodologia proposta é de uso geral e permite analisar aspectos importantes tais como processos de falha complexos, eficiência de teste, impacto de mudanças de especificação na segurança de funcionamento de sistemas e previsão de falhas. É proposto um Programa de Segurança de Funcionamento quanto a falhas de componentes e de concepção que relaciona as atividades de garantia de segurança de funcionamento às fases do ciclo de vida do sistema. Este Programa tem dois objetivos principais: 1. assegurar que o sistema satisfaz os requisitos de segurança de funcionamento especificados, e 2. ajudar a gerência do desenvolvimento a obter uma concepção confiável dentro do cronograma estipulado. Diversos processos de falha de sistemas reais de telecomunicações baseados em computador são usados para exemplificar a abordagem proposta e atestar os bons resultados obtidos / Abstract: As the importance of computer systems increases in modern society, more stringent become the quality requirements they have to meet. Nowadays the complexity of software and hardware development processes forces design faults to be taken into account in system dependability analysis, besides physical deterioration of components. Modeling and analysis of experimental design failure data are quality control techniques used to evaluate the dependability of systems, in order to provide quantitative results which are a major aid to management during the system development process. Software and hardware design faults have the same nature. It shown that the models and theories developed during the last two decades for software dependability assessment can be used to analyze hardware design.This work presents a general purpose design dependability assessment methodology based on the analysis of failure data trend before modeling failure processo Failure process is divided into time periods in which the trend is related to the trend hypothesis of the models. Important aspects as complex failure processes, test eficiency, impact of specification changes in system dependability and failure forecasting are analyzed using the proposed modeling methodology. It is proposed a Dependability Assurance Program for design and component failures which relates dependability assessment activities to the system life-cyclephases with two main objectives: 1. ensure that the system satisfies the specified requirements, and 2. help the development management to obtain a reliable design within the stipulated schedule. Several real computer based telecommunication systems failure processes are used to exemplify the proposed approach and testify the good results obtained. / Doutorado / Doutor em Engenharia Elétrica

Orientadores : Mario Jino, Fuad Gattaz Sobrinho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:48:40Z (GMT). No. of bitstreams: 1 Camargo_FaniBarbosa_M.pdf: 6914690 bytes, checksum: eac206e5526bf3b6a6ac5bd2489c6fa1 (MD5) Previous issue date: 1991 / Resumo: A atual tecnologia de produçao de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produçao industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. o objetivo deste trabalho é propor uma alternativa para assegurar a qualidade de sistemas de software, em seus diversos niveis de abstraçao, através de um processo de validaçao com uso de formalismo. Para tal, procurou-se aliar os conceitos de composiçao de Componentes de Software Reusáveis da Linguagem-Pi à técnica de especificaçao formal de Traços, tornando possivel a automatizaçao do processo de validaçao. Uma ferramenta de software foi produzida dentro deste contexto - o Gerador Automático de Teste, GAT, que efetua a validaçao do código de um componente de software contra seus requisitos, expressos por uma especificaçao formal / Abstract: The current software production technology is found to be in a craftsman stage, with low quality and productivity standards. Promising avenues towards an industrial production of software systems lie in paradigms of reuse and formalism. The objective of this work is to propose an alternative for the assurance of high quality levels of software systems, within its different levels of abstraction, through a validation process, with the use of formal techniques. In this context, the concepts of Reusable Software Components from the Pi-Language model are alied to the formal Trace specification technique, making possible an automatic validation processo A software tool is here produced - the Automatic Test Generator, ATG, which performs the validation of a software component's code against its requirements, expressed by a formal specification / Mestrado / Automação / Mestre em Engenharia Elétrica