Formal methods have been shown to be beneficial in increasing the quality of, and confidence in software systems. Despite the advantages of using formal methods in software development, the uptake in the commercial industry has been limited where the use of informal and semi-formal notations is favoured. To bridge the gap between the ease-of-use of semi-formal notation and correctness of formal methods, a number of approaches to the formalisation of informal and semi-formal notation have been researched and documented. Two of these approaches are discussed in this dissertation using a medium-sized case study to demonstrate the approaches. It was shown that each approach offered results that differed in terms of levels of abstraction, requisite knowledge of the formal target specification language and potential for automation. / Information Science / M.Sc.(Information Systems)

abstract: There is a demanding need to empower students from kindergarten through high school to learn computer science and be equipped with the computational thinking skills that they need in today's technology driven world. However, introducing computer programming to students can be challenging, especially for those who aren't familiar with the nuances of code. Several popular tools are used in curriculum for K-12 students which utilize interactive and visualization approaches to engage young kids in learning computational concepts. Possibilities of using Augmented Reality (AR) in teaching programming to novices are explored in this work. In this thesis Ogmented, an AR application is designed which includes interactive learning material that covers a range of fundamental Object-Oriented Programming (OOP) concepts. This work aims to exploit the idea to learn abstract concepts via AR by capitalizing the strength of visual-aided and interactive elements. A user study with a group of elementary school students is conducted. It explored how students operated the AR application with the interactive elements and how they wrote codes to solve programming problems. It was observed that students who followed instructions while taking tutorials were successfully able to write fragments of codes in exercise modules. Irrespective of their knowledge about programming, majority of students were able to write executable code snippets for concepts they were taught with use of Ogmented. This shares an initial insight on using AR in classroom to teach abstract programming concepts. / Dissertation/Thesis / Masters Thesis Computer Science 2017

Este trabalho apresenta um meta-modelo conceitual de dados para ser usado como ferramenta concetual para a construção de modelos de dados, obedecendo a determinados padrões. Ele é baseado em um metamodelo que permite a instanciação de modelos de dados. Para isso, identificaram-se as abstrações de dados fundamentais utilizadas em modelos de dados em geral: as abstrações de classificação, de associação e de generalização, e a partir delas foi construído um metamodelo que permite a representação de outros modelos de dados. O metamodelo modela os construtores semânticos de um determinado modelo de dados definindo diversas parametrizações das abstrações utilizadas nesse modelo, possivelmente em múltiplas ocorrêncas da mesma abstração num mesmo modelo. Considera-se uma ocorrência de parametrização como a identificação das restrições que envolvem uma abstração e a atribuição de valores a essas restrições, delimitando as possibilidades de cada restrição. Com esse conceito foi estabelecido um arcabouço conceitual que define uma estrutura precisa para cada construtor do metamodelo. A parametrização foi exemplificada pela aplicação ao Modelo Entidade-Relacionamento original, e na construção de um modelo orientado a objetos concebido para atender a necessidades bem especificadas, definidas a priori (atender às necessidades de aplicações de projeto e engenharia e aplicações científicas) que é denominado Modelo SIRIUS. / A set of conceptual constructions was developed to be used as a \"conceptual tool\" aiming the representation or construction of other data models. The result is a Data Meta-Model, which can be used as a reference standard for the construction of other data models. The Meta-model is based on the identification of the fundamental data abstractions used in the existing data models. It is shown that the fundamental abstractions are the classification, the association and the generalization ones. The Meta-model permits the definition of the semantic constructors of each data model the parameterization of the fundamental abstractions used in each constructor of the model. An abstraction is parameterized by collecting its set of restrictions and by setting each restriction with a particular value. Therefore, the same abstraction can generate several distinct abstraction instances. In the same way, several abstraction instances of distinct fundamental abstractions can be associated to build each each semantic constructor of the target data model. This process is exemplified using two case studies. First, it is used to represent the Entity-Relationship Model. Thereafter, it is used to construct a new data model, aiming at supporting the requirements of computer-aided engineering design and of scientific applications. The new data model is named SIRIUS, and incorporates the fundamental abstractions instantiated into semantic constructors tailored to the needs of those domains.

Even though there are many software development and project management methodologies available, research and practice both show that IT software development projects still fail, and that the quality of software products does not always meet customers' expectations. There might be multiple causes for such failures, but some of these reasons can be seen to influence or create others. Therefore, the larger the project is, the higher its risk of failure, especially if the teams involved work remotely (distributed and outsourced). This increase in project complexity is considered the motivation for this paper. Similarly, there are other factors that can result in a project's failure and customers' dissatisfaction regarding software quality. All such factors identified by research conducted by organizations specializing in this area are analyzed in order to identify a common root of IT project failures. Once the root causes of these failures have been identified and analyzed, the goal of the Interface based software development methodology is to solve them. The solution offered by an Interface based software development methodology is to improve understanding of software requirements and to describe these requirements with interfaces in an object-oriented way. Interface based software development will support and drive development towards service-oriented architecture (SOA) and component-based development (CBD). The goal of interface based software development is to increase software testability and maintainability and to make it more easily feasible to execute various software development processes in parallel.

No description available.

No description available.

The purpose of the essay is to see (1) how being a bricoleur works within the framework of academic discourse, specifically an archaeological one, (2) if, by usinga bricoleur approach, incorporating object-oriented philosophy, phenomenology, aesthetic theory and photography, one can get at different interpretations of an archaeological place and material; specifically the cairn at Skårby and how it ”should” be approached, and (3), if the incorporation of a photography that’s not aimed at textual illustration or representation, along with a looser language, can make an academic text like this one more approachable.

International Telemetering Conference Proceedings / October 20-23, 2003 / Riviera Hotel and Convention Center, Las Vegas, Nevada / The quantity T&E data has grown in step with the increase in computing power and digital storage. T&E data management and exploitation technologies have not kept pace with this exponential growth. New approaches to the challenges posed by this data explosion must provide for continued growth while providing seamless integration with the existing body of work. Object Oriented Data Management provides the framework to handle the continued rapid growth in computer speed and the amount of data gathered and legacy integration. The OMEGA Data Environment is one of the first commercially available examples of this emerging class of OODM applications.

ITC/USA 2006 Conference Proceedings / The Forty-Second Annual International Telemetering Conference and Technical Exhibition / October 23-26, 2006 / Town and Country Resort & Convention Center, San Diego, California / This paper describes an adaptive data management architecture capable of supporting order-of-magnitude data volume increases without a priori knowledge of data structures. The architecture allows users to generate and maintain data in optimal legacy formats while managing and extracting information with common analysis tools. This paper shows how an object-oriented data management system can manage both data and the knowledge imparted to the data by users.

ITC/USA 2008 Conference Proceedings / The Forty-Fourth Annual International Telemetering Conference and Technical Exhibition / October 27-30, 2008 / Town and Country Resort & Convention Center, San Diego, California / There are many challenging aspects to processing data from a modern high-performance data acquisition system. The sheer diversity of data formats and protocols makes it very difficult to create a data processing application that can properly decode and display all types of data. Many different tools need to be harnessed to process and display all types of data. Each type of data needs to be displayed on the correct type of display. In particular, it is very hard to synchronize the display of different types of data. This tends to be an error prone, complex and very time-consuming process. This paper discusses a solution to the problem of decoding and displaying many different types of data in the same system. This solution is based on the concept of a linked network of data processing nodes. Each node performs a particular task in the data decoding and/or analysis process. By chaining these nodes together in the proper sequence, we can define a complex decoder from a set of simple building blocks. This greatly increases the flexibility of the data visualization system while allowing for extensive code reuse.