The State of the Art of Automatic Programming

Automaatprogrammeerimine või koodi genereerimine on teatud tüüpi arvutiprogrammide loomisviis, kus kood genereeritakse mõne tööriista abil, mis võimaldab arendajatel koodi kirjutada kõrgemal abstraktsioonitasemel. Selliste programmide rakendamine tarkvaraarenduse protsessis on hea viis programmeerijate produktiivsuse tõstmiseks, võimaldades neil keskenduda pigem käesolevale ülesandele kui implementatsiooni detailidele. Senises teaduskirjanduses on vaadeldud konkreetseid lähenemisi või meetodeid eraldi. Väga vähesed uurimustööd vaatlevad aga kogu valdkonna viimast taset. Käesolevas töös käsitletakse automaatprogrammeerimist olemasoleva kirjanduse süstemaatilise kirjandusülevaate meetodi abil. Töö teeb ülevaate teemaga seonduvatest algoritmidest, probleemidest ning uurmisvaldkonna avatud uurimisküsimustest ning võrdleb valdkonna hetketaset praktika hetketasemega. Vaaldeldud 37 asjakohasest uuringust tegelesid 19 automaatprogrammeerimise üldise määratlemise ja alateemadega. Kolmkümmend uuringut pakkusid välja konkreetse algoritmi või lähenemisviisi. Esitatud tehnikatest rakendati 2 praktikas. Viimasel ajal on automaatprogrammerimise fookus nihkunud programmide sünteesilt induktiivsele programmeerimisele, mille on põhjustanud läbimurded tehisintellekti valdkonnas. Mõistete ja alateemade määratlus on teadlaste vahel ühtne. Õigete spetsifikatsioonide sõnastamine ja piisava teabe andmine automatiseerimiseks on endiselt lahtine uurimisküsimus.Automatic programming or code generation is a type of computer programming where the code is generated using some tools allowing developers to write code at the higher level of abstraction. Implementing these types of programs into the software development process is a good way to boost programmers’ performance by focusing on the task at hand rather than implementation details. Current literature on the subject reviews single approach or method. Very few of them are reviewing state of the art in general. This paper reviews the state of the art of automatic programming by overviewing the existing literature on the topic using systematic literature review method. The paper overviews approaches and algorithms of the topic, examines issues and open questions in the field and compares the state of the art to the state of the practice. Of 37 relevant studies, 19 addressed general definitions and subtopics of automatic programming. 30 presented specific algorithms or approaches. 2 of proposed techniques were implemented in practice. Currently, the focus of automatic programming shifted from program synthesis to inductive programming, caused by a breakthrough in artificial intelligence. Definition of the term and subtopics is consistent between scholars. However, formulating correct specification and providing sufficient information for automation is still an open research question

ADOLESCENTS' CONSTRUCTIVELY RESPONSIVE READING STRATEGY USE IN A CRITICAL INTERNET READING TASK

The goal of this study was to examine types and patterns of reading strategies that proficient adolescent readers used while reading on the Internet. Informed by research related to reading comprehension, intertextuality, and new literacies, I drew upon the model of Constructively Responsive Reading that had evolved from print reading to Internet reading (Afflerbach & Cho, 2009; Pressley & Afflerbach, 1995). The model offered an analytical tool to construct descriptions of the complexity of use of the four general types of strategies in Internet contexts: Realizing and Constructing Potential Texts to Read, Identifying and Learning Text Content, Monitoring, and Evaluation. Seven highly proficient adolescent readers (Mean Age = 17.5) individually performed Internet reading, with a goal to create a critical question about their self- selected controversial topic across two 45-minute sessions: Open Website Searching and Focused Website Learning. I used multiple sources to triangulate complementary data to infer participants' Internet reading strategy use. Participants' think-aloud verbal reports were synchronized with their reader-computer interactions recorded in the computer. These real-time strategy data were complemented by other contextual data (e.g., pre-/post-reading interviews, participant-generated critical questions). I integrated these data into Internet Reading Strategy Matrices of the individual participants, which were analyzed, both qualitatively and quantitatively. During the entire course of data analysis, I constantly referenced the model of Constructively Responsive Reading with the four strategy categories. My data analyses afforded detailed descriptions of diverse constructively responsive reading strategies in Internet contexts and dynamic patterns of such reading strategy use. Grounded-analysis of data resulted in the identification of an array of reading strategies and many instances of strategy interplay among the four strategy categories. Chi-squared analysis of aggregated strategy data revealed the goal-directed nature of strategy use, as participants' use of these four types of strategies was associated with two different session tasks. Also, analysis of the processing chains visualizing the flow of strategy use indicated differences in the performances of Internet reading strategy use among the participants and their distinctive modes of Internet reading. Overall, my study supported the theoretical model of Constructively Responsive Reading, with empirical data that described diversity and patterns of constructively responsive reading strategies in Internet contexts. The complexity of Internet reading was discussed with regard to constructively responsive reading that coordinates different roles and functions of the four general types of strategies

Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge

Previously, software architects were unable to effectively and efficiently apply reusable knowledge (e.g., architectural styles and patterns) to architectural analyses. This work tackles this problem with a novel method to create and apply templates for reusable knowledge. These templates capture reusable knowledge formally and can efficiently be integrated in architectural analyses

Modeling Stories for Conceptual Model Validation.

Modelagem Conceitual é uma atividade desafiadora e avaliar a qualidade de modelos conceituais produzidos é chave para garantir que possam ser usados efetivamente como base para compreensão, acordo e desenvolvimento de sistemas de informação. Modelos podem ser avaliados com relação a diferentes critérios de qualidade e neste trabalho focamos em sua acurácia em caracterizar as conceituações que visam representar. Validar a acurácia de um modelo envolve entender os mundos admissíveis que são implícitos a ele e sua adequação em representar as conceituações de domínio. Esforços anteriores para validação de modelos conceituais baseados em ontologia deram origem a um simulador de modelos que permite a modeladores ser confrontado com as consequências de suas decisões de modelagem. Esse simulador de modelos gera sequências de snapshots da instanciação de modelos, revelando a dinâmica da criação, mudança e destruição de objetos. Ainda que esses esforços contribuam para avaliação de modelos, eles podem ser difíceis de compreender e usar e este trabalho melhora a abordagem existente usando um misto de histórias formais e informais. Histórias sempre foram usadas como meio de comunicar ideias complexas e nós argumentamos que podem ser usadas efetivamente para avaliar modelos e revelar escolhas de modelagem. Esta dissertação propõe uma abordagem para avaliar modelos conceituais criando narrativas a respeito do domínio de discurso. Essas narrativas exemplificam como conceitos de um modelo conceitual são empregados em seu contexto real. Para usá-las no simulador de modelos existente, as narrativas em linguagem natural são formalizadas como histórias abstratas usando a linguagem de especificação que definimos e, então, usadas para restringir a simulação de modelos, guiando o simulador para que corresponda à narrativa, apoiando a validação do modelo conceitual. Contrastar simulações com as conceituações pretendidas é a base da avaliação de modelos nessa abordagem. A narrativa em linguagem natural permite um entendimento intuitivo do significado dos conceitos. Comparar essas narrativas a diagramas de objeto que mostram a instanciação do modelo formal permite compreender como os conceitos são formalizados

Spoken content retrieval: A survey of techniques and technologies

Speech media, that is, digital audio and video containing spoken content, has blossomed in recent years. Large collections are accruing on the Internet as well as in private and enterprise settings. This growth has motivated extensive research on techniques and technologies that facilitate reliable indexing and retrieval. Spoken content retrieval (SCR) requires the combination of audio and speech processing technologies with methods from information retrieval (IR). SCR research initially investigated planned speech structured in document-like units, but has subsequently shifted focus to more informal spoken content produced spontaneously, outside of the studio and in conversational settings. This survey provides an overview of the field of SCR encompassing component technologies, the relationship of SCR to text IR and automatic speech recognition and user interaction issues. It is aimed at researchers with backgrounds in speech technology or IR who are seeking deeper insight on how these fields are integrated to support research and development, thus addressing the core challenges of SCR