Bibliography: leaves [238]-244 / xi, 244 leaves : ill ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1985

Thesis (M.Eng.)--Memorial University of Newfoundland, 1999. / Bibliography: leaves 100-102.

No description available.

[pt] Muitas aplicações são tornadas programáveis para usuários finais avançados adicionando recursos como scripting e macros. Outras aplicações dão a uma linguagem de programação um papel central na sua interface com o usuário. Esse é o caso, por exemplo, da linguagem de fórmulas de planilhas de cálculo. Enquanto a área de scripting se beneficiou dos avanços das pesquisas em linguagens de programação, produzindo linguagens maduras e reusáveis, o estado das linguagens em nível de interface não teve o mesmo grau de desenvolvimento. Argumentamos que um melhor entendimento desta classe de linguagens se faz necessário. Neste trabalho, modelamos semânticas de linguagens de usuário final existentes, em três diferentes domínios: multimídia, planilhas e engenharia. Nosso foco é em linguagens de dataflow, um paradigma representativo em aplicações programáveis por usuários finais. Com base nessa análise, temos como objetivo prover um melhor entendimento do design de linguagens de dataflow no contexto de programação de usuários finais e propor linhas-guia para o projeto de linguagens de nível de interface baseadas neste paradigma para aplicações programáveis. / [en] Many applications are made programmable for advanced end-users by adding facilities such as scripting and macros. Other applications take a programming language to the center stage of its UI. That is the case, for example, of the spreadsheet formula language. While scripting has benefited from the advances of programming language research, producing mature and reusable languages, the state of UI-level languages lags behind. We claim that a better understanding of such languages is necessary. In this work, we model the semantics of existing end-user programming languages in three different domains: multimedia, spreadsheets and engineering. Our focus is on dataflow languages, a representative paradigm for end-user programmable applications. Based on this analysis, we aim to provide a better understanding of dataflow semantics as used in the context of end-user programming and propose guidelines for the design of UI-level languages for end-user programmable applications.

Made available in DSpace on 2014-10-09T12:41:14Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:08:34Z (GMT). No. of bitstreams: 0 / Dissertação (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP

Made available in DSpace on 2014-10-09T12:41:14Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:08:34Z (GMT). No. of bitstreams: 0 / O objetivo deste trabalho foi desenvolver um software, de fácil operação e eficiente, para determinar a difusividade térmica de biomateriais. A necessidade de se conhecer a difusividade térmica de materiais como, por exemplo, esmalte e dentina, é essencial para o estabelecimento de protocolos de utilização clínica laser, para evitar danos colaterais ao paciente. O software desenvolvido, denominado CZ ThermaDiff, baseia-se no processamento de imagens térmicas adquiridas por uma câmera termográfica no infravermelho (ThermaCam SC3000, FLIR System, EUA). Foi desenvolvido em ambiente LabView, o que permitiu criar um painel de controle de fácil operação, contendo apenas duas funções básicas (Start e Stop). O software arquiva os dados em formato de tabela contendo todas as medidas de difusividade térmica, suas médias para intervalos de 10 °C e suas respectivas temperaturas, para uma amostra. Foi observado, tanto para o esmalte quanto para a dentina, que os valores de difusividade não são constantes e aumentavam em função da temperatura. Os valores encontrados foram aplicados a um modelo de transferência de calor, simulando um dente molar humano com as seguintes estruturas: esmalte, dentina e polpa. O modelo baseia-se no método de resistores térmicos, sendo que para a polpa foi utilizado o modelo de difusão de calor, considerando a circulação sanguínea. Os valores de temperatura obtidos neste modelo teórico, utilizando difusividades dependentes da temperatura foram maiores que as obtidas com um valor constante de difusividade, medido à temperatura ambiente. Este fato realça a importância da mensuração da difusividade em função da temperatura e da interface desenvolvida neste trabalho. / Dissertação (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP

Sverige och världen blir mer digitaliserat för varje år. Varje år implementeras ny teknik i allabranscher vilket innebär att tekniken kan komma att styra arbetsbranschen. Detta har gjort attSverige och andra länder har börjat med programmering i grundskolan. Anledning till det ärför att utveckla individens datalogiska tänkande. I den här studien undersöks datalogiskttänkande som en egenskap som en individ innehar och hur arbetsgivaren inom mjukvaruutvecklingprioriterar datalogiskt tänkande vid en potentiell anställning som programmerare.Genom intervjuer och enkäter har forskarna samlat in data och konstruerat egna kategorierifrån programmering och datalogiskt tänkande för att sedan jämföra dessa mot den insamladedata från olika arbetsgivare. Studien har visat att arbetsgivaren faktiskt prioriterar datalogiskttänkande över programmeringskunskaper vilket stödjer den senaste implementationen avdatalogiskt tänkande. Den här studien är unik då det finns få eller ingen tidigare forskning om datalogiskt tänkandedär en kategorisering har genomförts inom de två områdena. Författarna tror starkt på attakademiska intressenter inom data- och systemvetenskap men även företag som bedriverprogrammering kan ha stor nytta av att ta del av den här studien. Studien belyser ett uniktresultat som troligtvis inte genomförts tidigare. Möjliga positiva konsekvenser av den härstudien är att författarna hoppas på att datalogiskt tänkande får mer uppmärksamhet avbranschen. Ett tydligt kunskapsbidrag till den tidigare forskningen om datalogiskt tänkandepresenteras i studien vilket kan påverka den framtida forskningen och implementationen avbegreppet datalogiskt tänkande. / Sweden and the rest of the world are constantly evolving in the digital aspect. Every yearmore technology is being implemented in all the fields which make the technology in controlof all the working fields. These changes have made Sweden and other countries to start withprogramming in the elementary school. This is to develop the individual’s computationalthinking. In this thesis, computational thinking is researched as a property of an individualand how employers prioritize computational thinking at a potential employment within theirbusiness as a software developer. Through interviews and surveys the researches havecollected data and constructed their own categories from programming and computationalthinking which was used in comparison with collected data from different employers. Thisstudy has shown that employers actually prefer computational thinking over programmingskillswhich support the recent implementation of computational thinking. This thesis is unique because none or very few previous researchers with a study revolvingcomputational thinking where categorizes have been used to compare the two different fields.The researches strongly believe that academic stakeholders within computer science andorganizations that uses software developing can have great use of this thesis’ results. Thisstudy enlightens a unique result which most likely has not been conducted before. Potentialconsequences of this study are that the authors hope that computational thinking will acquiremore attention. A clear knowledge grant of the previous research about computationalthinking is being presented in this study which can affect the future research andimplementation of the term computational thinking.

Linda is a new parallel programming language that is built around an interprocess communication model called generative communication that differs from previous models in specifying that shared data be added in tuple form to an environment called tuple space, where a tuple exists independently until some process chooses to use it. Interesting properties arise from the model, including space and time uncoupling as well as structured naming. We delineate the essential Linda operations, then discuss the properties of generative communication. We are particularly concerned with implementing Linda on top of two traditional parallel programming paradigms - process communication through globally shared memory via monitors, and process communication in local memory architectures through the use of message passing constructs. We discuss monitors and message passing, then follow with a description of the two Linda implementations.

Role-based modeling has been proposed almost 40 years ago as a means to model complex and dynamic domains, because roles are able to capture both context-dependent and collaborative behavior of objects. Unfortunately, while several researchers have introduced the notion of roles to modeling and programming languages, only few have captured both the relational and the context-dependent nature of roles. In this work, we classify various proposals since 2000 and show the discontinuity and fragmentation of the whole research field. To overcome discontinuity, we propose a family of metamodels for role-based modeling languages. Each family member corresponds to a design decision captured in a feature model. In this way, it becomes feasible to generate a metamodel for each role-based approach. This allows for the combination and improvement of the different role-based modeling and programming languages and paves the way to reconcile the research field.

<p>Program synthesis aims to generate programs automatically from user-provided specifications and has the potential to aid users in real-world programming tasks from different domains. Although there have been great achievements of synthesis techniques in specific domains such as spreadsheet programming, computer-aided education and software engineering, there still exist huge barriers that keep us from achieving scalable and practical synthesis tools.</p> <p><br></p> <p>This dissertation presents several techniques towards more scalable and practical program synthesis from three perspectives: 1) intention: Writing formal specification for synthesis is a major barrier for average programmers. In particular, in some quantitative synthesis scenarios (such as network design), the first challenge faced by users is expressing their optimization targets. To address this problem, we present comparative synthesis, an interactive synthesis framework that learns near optimal programs through comparative queries, without explicitly specified optimization targets. 2) invention: Synthesis algorithms are key to pushing the performance limit of program synthesis. Aiming to solve syntax-guided synthesis problems efficiently, we introduce a cooperative synthesis technique that combines the merits of enumerative and deductive synthesis. 3) adaptation: Besides functional correctness, quality of generated code is another important aspect. Towards automated provably-correct optimization over tree traversals, we propose a stack-based representation for iterations in tree traversals and an encoding to Monadic Second-Order logic over trees, which enables reasoning about tree traversal transformations which were not possible before.</p>