Orientador : Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T03:49:55Z (GMT). No. of bitstreams: 1 Santos_OsvaldoAlvesdos_M.pdf: 2166507 bytes, checksum: 4edb0602a740e4d32818fd40f621d55e (MD5) Previous issue date: 1985 / Resumo: A linguagem de programação Ada é uma linguagem de propósito geral, possuindo os recursos oferecidos pelas linguagens clássicas tais como Pascal e Algol bem como as facilidades de elaboração de programas modulares. Programação de sistemas e programação em tempo real, que normalmente são encontradas somente em linguagens específicas. Neste texto é apresentada uma proposta de um sistema de execução para Ada. Dada a extensão do trabalho, será tratada somente a parte concorrente e as exceções da linguagem. Foi suposto que o sistema hospedeiro pode possuir multiprocessadores / Abstract: Ada is a general purpose programming language, includes features found in classical languages such Pascal Algol, as well as features for modular programming system and real-time programming, which are usually found only in specific languages. We present in this thesis a proposal for a run-time system for Ada. Due to the complexity of the language, we treat only the concurrency and exception handling. We assume that the underlying computing system allows for multiple processors / Mestrado / Mestre em Ciência da Computação

Orientador :Rogerio Drummond / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:16:38Z (GMT). No. of bitstreams: 1 PinonArias_Hernan_M.pdf: 3494321 bytes, checksum: 4318518c79caf9945c09d3fee257f82a (MD5) Previous issue date: 1991 / Resumo: O presente trabalho descreve a implementação do editor topológico para as computações de LegoShell. A LegoShell é uma das linguagens do Ambiente de desenvolvimento de software baseado em Hierarquias de Abstração em Níveis Diferenciados (A_HAND), atualmente sendo desenvolvido no Departamento de Ciência da Computação da UNICAMP. Ela possibilita a composição de programas através da conexão de suas portas de entrada e saída. Ela estende da noção de "pipe" do UNIX@, restrita a uma dimensão só, para grafos multidimensionais compostos de programas, dispositivos periféricos, arquivos, conectores, etc. Estes grafos, chamados computações, podem ser abstraídos como programas e depois utilizados nas computações indistintamente de programas reais. Qualquer dos componentes de uma computação pode residir ou ser executado em qualquer uma das máquinas da rede local, possibilitando assim, a especificação de computações distribuídas. Pela sua natureza, a LegoShell é inerentemente uma linguagem de estrutura topológica. Um editor apropriado deve ser capaz de manipular estruturas topo lógicas e representa-las de forma gráfica. Este editor será o "front-end" principal do ambiente A_HAND. Por isto ele é o principal responsável pela determinação do "look-and-feel" da interface com o usuário do ambiente. A interface com o usuário foi implementada usando os widgets do X Windows, uma máquina de "statecharts" foi utilizada para a definição do núcleo semântico do editor e finalmente os objetos complexos manipulados internamente foram implementados seguindo o paradigma de tipos abstratos de dados / Abstract: This work describes the implementation of the topologic editor for the LegoShell computations. LegoShell is one of the languages of the Software Development Environment based on Hierarchies of Differentiated Levels of Abstraction (A_HAND), being developed at the Computer Science Department of UNICAMP. It allows program composition through the connection of program input and output ports. It extends the notion of UNIX pipes, which is restricted to a single dimension, to multidimensional graphs composed of programs, peripheral devices, files, connectors, etc. These graphs, called computations, can be abstracted and used afterwards in other computations without any difference from real programs. Any of the components could run locally or in any of the Local Area Network machines, this way allowing the specification of distributed computations. Because of its own nature, LegoShell is intrinsically a topologically structured language. A suitable editor has to be able to manipulate topological structures and to represent them in a graphical manner. This editor will be the principal front-end' of A_HAND. This it is the reason why the editor is mainly responsible for the look-and-feel of the user interface in this environment. The user interface has been implemented using X Windows widgets, a statecharts machine has been used to define the semantic core of the editor and finally the complex objects which are internally manipulated were implemented following the abstract data tipe paradigm / Mestrado / Mestre em Ciência da Computação

Orientador: Tomasz, Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T02:12:04Z (GMT). No. of bitstreams: 1 Bacarin_Evandro_M.pdf: 1430913 bytes, checksum: e48d58b6dd2cafd20c06ea9f9d266959 (MD5) Previous issue date: 1995 / Resumo: O trabalho apresenta uma linguagem de programação, denominada LL (de Library Language), que visa atender as necessidades de projetistas de algoritmos - programadores ocasionais que necessitam implementar seus algoritmos para testá-los, demonstrá-los didaticamente ou analisar sua eficiência. A linguagem busca ser simples e expressiva. Uma linguagem de programação complexa, em contraste com a simplicidade perseguida no projeto de LL, pode induzir o programador a erros alheios ao algoritmo em implementação, devido à complexidade excessiva da ferramenta. A expressividade é outra qualidade desejável, uma vez que os algoritmos a serem codificados são, muitas vezes, descritos em artigos, livros ou anais de congressos em uma linguagem de bastante alto nível. Expressividade e simplicidade visam prototipação rápida de algoritmos. O tempo e o esforço de implementação podem ser abreviados se o programador tiver ao seu alcance um rico conjunto de bibliotecas que o auxiliem em seu trabalho. Assim, LL enfatiza a facilidade de criação e reutilização de bibliotecas escritas em outras linguagens. O trabalho descreve, também, alguns detalhes de implementação de seu compilador, bem como relaciona semelhanças e diferenças de linguagens de programação que influenciaram seu projeto. / Abstract: This thesis introduces a programming language called LL (for Library Language). Its main goal is to answer needs of algorithm designers who as occasional programmers implement their algorithms in order to test them, to demonstrate them in a didactic way or to analyze their efficiency. LL is simple and expressive. A complex programming language can lead the programmer to errors related not to the algorithms that are being implemented, but to the excessive complexity of the tool being used. Another goal to be achieved is expressiveness, since the goal is to implement algorithms which are generally shown in scientific papers, books or proceedings, in a high level language. Expressiveness and simplicity lead to rapid prototyping of the algorithms. Time and effort in implementation can be reduced if the programmer has available a rich variety of libraries. Thus LL emphasizes ease in the creation and reuse of libraries written in other languages. Some of the compiler implementation details are also shown as well as similarities and differences with the programming languages which influenced the design. / Mestrado / Mestre em Ciência da Computação

No description available.

Made available in DSpace on 2013-08-07T18:43:00Z (GMT). No. of bitstreams: 1 000449148-Texto+Completo-0.pdf: 1451297 bytes, checksum: 756fa3b849c915db82e28d35f2a8ddc2 (MD5) Previous issue date: 2013 / Organizations have been distributing their software development activities around the world for over a decade, increasing the work with distributed teams. At the same time, agile methods have recently been used by software engineers in order to deliver faster results and more value to the client, providing face to face communication, rapid response to change, among other practices. Although it sounds contradictory, agile methods have been used as a strategy for distributed teams become more productive. Pair programming is an agile practice of the extreme programming method, which has been used with distributed teams. In this context this practice has many benefits, including information sharing and increasing product quality. For this reason, the goal of this dissertation is to understand the advantages and challenges of distributed pair programming and to develop a set of best practices to facilitate their adoption and use. For the development of this research we have used both secondary (systematic literature review) and primary (multiple case studies with practitioners) studies. The main contribution of this research is the development of a set of best practices for distributed pair programming for the industry, and the systematization of the empirical evidence about this topic. / As organizações vêm distribuindo suas atividades de desenvolvimento de software em todo o mundo há mais de uma década, aumentando o trabalho com equipes geograficamente distribuídas. Ao mesmo tempo, os métodos ágeis de desenvolvimento de software têm sido recentemente utilizados pelos engenheiros de software com o objetivo de fornecer resultados mais rápidos e de maior valor para o negócio do cliente, promovendo uma comunicação face a face, resposta rápida às mudanças, entre outras práticas. Apesar de soar contraditório, os métodos ágeis têm sido utilizados como uma estratégia para tornar equipes distribuídas mais produtivas. A programação em par é uma prática ágil do método extreme programming, e que tem sido utilizada com equipes distribuídas. Esta prática possui diversos benefícios, entre eles o compartilhamento de informações e o aumento da qualidade do produto. Por esta razão, o objetivo desta dissertação de mestrado é entender as vantagens e os desafios da programação em par distribuída e desenvolver um conjunto de boas práticas para facilitar a sua adoção e utilização. Para o desenvolvimento desta pesquisa foram utilizados estudos secundários (revisão sistemática da literatura) e primários (múltiplos estudos de caso com profissionais da indústria). Esta pesquisa contribui no sentido de propor um conjunto de boas práticas para a programação em par distribuída para a indústria, além da sistematização da base empírica do estado da arte sobre o tema.

Made available in DSpace on 2013-08-07T18:42:49Z (GMT). No. of bitstreams: 1 000449498-Texto+Completo-0.pdf: 2090953 bytes, checksum: faabf1b54630dc71c67827db181e9111 (MD5) Previous issue date: 2013 / Technological advances verified in recent years have enabled organizations to simulate collocation in the context of distributed software development. The aim of simulating collocation is to give the perception that they are in the same workplace, communicating, collaborating and coordinating in a way similar to what they do with local teams. The adoption of tools, methods and technologies in this context helps to minimize the challenges verified by geographical, temporal and cultural differences between the distributed teams, such as for sample, people and project coordination, collaboration, communication among project members, risk management and knowledge management. This way, the purpose of this dissertation is to understand how real time simulated collocation is being used by distributed software development teams, including advantages, disadvantages and challenges. A reference model for real-time simulated collocation is proposed, specifically for those distributed teams that have overlapping of working hours. The research method used is case study and the empirical base involves software development projects that use real-time simulation collocation. / Os avanços tecnológicos verificados nos últimos anos permitiram às organizações que realizam o desenvolvimento de software de forma distribuída desenvolver maneiras de emular a proximidade física em tempo real entre os times dispersos geograficamente. O objetivo é oferecer a percepção de que estes se encontram em um mesmo ambiente de trabalho, se comunicando, colaborando e sendo coordenados de uma forma semelhante à realizada com equipes locais. A adoção de ferramentas, métodos e tecnologias com este propósito visa minimizar os desafios impostos pelas diferenças geográficas, temporais e culturais entre os times, como por exemplo, a coordenação de pessoas e projetos, colaboração para a realização de um trabalho em equipe, comunicação entre os envolvidos, gerência de riscos e a gestão do conhecimento, entre outros. Neste sentido, esta dissertação de mestrado tem como objetivo compreender de que forma a emulação de proximidade física está sendo utilizada por equipes distribuídas de desenvolvimento de software, incluindo vantagens, desvantagens e desafios. A partir desta avaliação é proposto um modelo de referência para a emulação de proximidade física entre equipes distribuídas que possuem sobreposição (overlap) de horários de trabalho. O principal método de pesquisa utilizado foi o estudo de caso e a base empírica da pesquisa envolveu projetos de desenvolvimento de software que fazem uso da emulação de proximidade física.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T10:52:27Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T21:05:17Z : No. of bitstreams: 1 102009.pdf: 1576140 bytes, checksum: 4e4d8c44bf1ff6c960deabe5a971b3db (MD5) / Apresenta um panorama das redes de interconexão dos multicomputadores, descreve características de paralelismo, comunicação e ambientes de programação de linguagens de programação paralela como CSP, Occam, Joyce e SuperPascal, apresenta um simulador e o sistema operacional do multicomputador utilizado como plataforma de trabalho, denominado Nó Paralelo, aborda a implementação da linguagem de programação SuperPascal, cuja criação de processos e comunicação entre eles se adaptam adequadamente à topologia dinâmica dessa máquina, estendendo o seu emprego com uma linguagem de programação paralela, contribuindo dessa forma, para alcançar um dos principais objetivos do projeto desse multicomputador que é a construção de um ambiente completo para programação paralela.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia de Produção / Made available in DSpace on 2012-10-16T21:10:55Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T16:50:19Z : No. of bitstreams: 1 261628.pdf: 2259826 bytes, checksum: 7c5ef354ab78b99aa3593a9834efdc00 (MD5)

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-04-26T14:09:10Z No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-04-27T22:18:25Z (GMT) No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Made available in DSpace on 2017-04-27T22:18:25Z (GMT). No. of bitstreams: 1 2017_ThiagoMendonçaFerreiraRamos.pdf: 615472 bytes, checksum: 07c6f1995d15d71ca3dce6b9186c1bb8 (MD5) / Terminação é uma propriedade crítica para formalização de correção de programas. Verificar automaticamente terminação de um programa é conhecido como Problema da Parada e Turing provou que é um problema indecidível. Apesar disso, é possível construir algoritmos de semi decisão para verificar terminação, que respondem ‘sim’ se pode provar que o algoritmo para e ‘não sei’ caso contrário. Para construir esses algoritmos de semi decisão é necessário considerar diferentes noções de terminação, provando que são equivalentes. Neste trabalho, noções de terminação são formalizadas equivalentes para uma linguagem funcional de primeira ordem chamada PVS0 usando o assistente de prova Prototype Verification System. Essas noções são: as funções produzem uma saída, a árvore de derivação de chamados recursivos de funções tem tamanho finito (ambas as noções são chamadas terminação semântica), e os argumentos das funções decrescem para cada chamado recursivo (essa noção é chamada ranking function). As contribuições desse trabalho incluem a formalização de alguns lemas necessários para demonstrar equivalência entre noções de terminação semântica e ranking function, e como resultado principal a formalizações de indecidibilidade do Problema da Parada e Turing-Completude de PVS0. / Termination is a critical property for the formalization of programs correctness. Verifing automatically termination of a program for an input is known as Halting Problem and Turing proved that this is undecidable. However, it is possible to build semi decision algorithms for the verification of termination, that answer ‘yes’ if it is possible to prove that the algorithm halts, and ‘do not know’ otherwise. To construct these semi decision algorithms it is necessary to consider different notions of termination, proving that they are equivalent. In this work, notions of termination were formalized equivalent for a minimal functional first order language called PVS0 using the proof assistant Prototype Verification System. These notions are: the functions produces an output, the derivation tree of recursive calls of functions has a finite size (both these notions are called semantic termination), and the arguments of functions decreases for each recursive call (this notion is called ranking function). The contributions of this work includes formalization of lemma related with the equivalence between notions of semantic and ranking function termination, and the main results are the formalization of indecidability of Halting Problem and Turing-Completeness of PVS0.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2006. / Submitted by Kathryn Cardim Araujo (kathryn.cardim@gmail.com) on 2009-11-12T10:02:27Z No. of bitstreams: 1 2006_Renato Faria Iida.pdf: 1096911 bytes, checksum: a41f972fed984125f25ce072638fc0dc (MD5) / Approved for entry into archive by Gomes Neide(nagomes2005@gmail.com) on 2010-10-20T15:11:38Z (GMT) No. of bitstreams: 1 2006_Renato Faria Iida.pdf: 1096911 bytes, checksum: a41f972fed984125f25ce072638fc0dc (MD5) / Made available in DSpace on 2010-10-20T15:11:38Z (GMT). No. of bitstreams: 1 2006_Renato Faria Iida.pdf: 1096911 bytes, checksum: a41f972fed984125f25ce072638fc0dc (MD5) Previous issue date: 2006-09-29 / Com o rápido avanço da tecnologia dos terminais celulares e a integração de funções de handhelds aos celulares, criam-se novas possibilidades de aplicações móveis. Atualmente existem várias linhas de desenvolvimento. As três principais linguagens são: · Symbian C++ · Java 2 Micro Edition · BREW O foco desse trabalho é mostrar o ciclo de desenvolvimento do Symbian C++ aplicado para aplicações baseadas em localização. O primeiro passo é entender a origem e as características básicas da linguagem. Após isso, é necessário entender como a interface gráfica é organizada e implementada. Por necessitar de usar bibliotecas assíncronas, é apresentado como funciona a multitarefa dentro da linguagem. A comunicação com o terminal GPS é feita por bluetooth. Portanto, a implementação dessa comunicação é apresentada. Outro aspecto é um estudo comparativo entre os métodos de obter informações do celular. A metodologia usada para apresentar esses pontos é mostrar trechos de códigos integrados ao texto para facilitar a associação da parte teórica com a implementação. Além disso, vários exemplos, cada um com uma função específica, ajudam a ilustrar os conceitos dos capítulos. Ao final, um exemplo apresenta a integração de todos os conhecimentos anteriores e mostra a comunicação do celular Nokia 6600 [27] com o GPS Holux GPSlim236 [26]. ______________________________________________________________________________ ABSTRACT / The fast development of the cell phones and the integration of features of handhelds in them created new opportunities for mobile applications. The main development languages are: · Symbian C++ · BREW · Java 2 Micro Edition The main focus in this work is the development cycle of Symbian C++ applied to location based services. The first step is to understand the origin and basics characteristics of the language. After that, it is necessary to understand how the graphic interface is organized and implemented. Asynchronous calls are need, so it is explained how to implement multitask. The communication with the GPS device is made by Bluetooth. Because of this, the implementation of this communication is shown. Another aspect is comparison between the methods to get the phone information. The methodology is to show samples codes between the texts to facilitate the learning process. In addition, application examples will be created to show the features. In the end, one example that shows all the features integrated.