scholarly journals Implementation of a MIX Emulator: A Case Study of the Scala Programming Language Facilities

2017 ◽  
Vol 22 (1) ◽  
pp. 47-53
Author(s):  
Ruslan Batdalov ◽  
Oksana Ņikiforova
Keyword(s):  
Open Source ◽  
Programming Language ◽  
Data Structures ◽  
Open Source Software ◽  
Program Execution ◽  
Input Output ◽  
Data Types ◽  
Program Debugging ◽  
Definition Of

Abstract Implementation of an emulator of MIX, a mythical computer invented by Donald Knuth, is used as a case study of the features of the Scala programming language. The developed emulator provides rich opportunities for program debugging, such as tracking intermediate steps of program execution, an opportunity to run a program in the binary or the decimal mode of MIX, verification of correct synchronisation of input/output operations. Such Scala features as cross-compilation, family polymorphism and support for immutable data structures have proved to be useful for implementation of the emulator. The authors of the paper also propose some improvements to these features: flexible definition of family-polymorphic types, integration of family polymorphism with generics, establishing full equivalence between mutating operations on mutable data types and copy-and-modify operations on immutable data types. The emulator is free and open source software available at www.mix-emulator.org.

scholarly journals LOW-COST 4D BIM MODELLING: A COMPARISON BETWEEN FREECAD AND COMMERCIAL SOFTWARE

2019 ◽  
Vol XLII-2/W17 ◽  
pp. 107-114
Author(s):  
D. Di Donato ◽  
M. Abita
Keyword(s):  
Open Source ◽  
Public Space ◽  
Open Source Software ◽  
Low Cost ◽  
Steel Structures ◽  
Historical Reconstruction ◽  
Commercial Software ◽  
Current State ◽  
Definition Of

Abstract. The paper aims to investigate the potential inherent in a FOSS (Free and Open Source Software) approach for the 4D BIM modelling using Freecad. In order to reach this goal it shows a comparison of Freecad features with those of commercial software, considering the evaluation of the effective application of this Open Source software in the professional environment, and highlighting the progress in the FOSS BIM area, that still represents an unexplored study field if compared to the vast publications related to BIM modelling that occurred in the last two decades. To this end, the study has been carried out on a singular case study, a steel canopy which has been designed for the urban renewal of a public space in Teramo. Despite its size, the canopy required the definition of complex details. Its structural system has addressed the study to compare Freecad with some software dedicated to steel structures or particularly suitable for the modelling of this specific structural typology: Tekla Structures and Sketchup. Starting from a concise historical reconstruction of the FOSS spread, the paper introduces a brief overview of the potential of Freecad in terms of BIM modelling - also proposing an operational modality to facilitate the drawing of BIM elements within the software - and finally reaching to the examination of three simulations which has been carried. This comparison can be useful to establish the current state of development of Freecad in the field of 4D BIM.

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU
Keyword(s):  
Programming Language ◽  
Error Detection ◽  
Program Execution ◽  
Good Efficiency ◽  
Result Verification ◽  
Coordination Model ◽  
Functional Specification ◽  
Time Result ◽  
Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

Reusability of open source software across domains: A case study

2017 ◽  
Vol 134 ◽  
pp. 211-227 ◽  
Author(s):  
Maria-Eleni Paschali ◽  
Apostolos Ampatzoglou ◽  
Stamatia Bibi ◽  
Alexander Chatzigeorgiou ◽  
Ioannis Stamelos
Keyword(s):  
Open Source ◽  
Open Source Software

scholarly journals SENTIMENT ANALYSIS OF FREE/OPEN SOURCE DEVELOPERS: PRELIMINARY FINDINGS FROM A CASE STUDY

2014 ◽  
Vol 13 (2) ◽  
Author(s):  
Athanasios-Ilias Rousinopoulos ◽  
Gregorio Robles ◽  
Jesús M. González-Barahona
Keyword(s):  
Sentiment Analysis ◽  
Open Source ◽  
Open Source Software ◽  
Free Open Source Software ◽  
Free Open Source

O desenvolvimento de software é uma atividade intensive em esforço humano. Assim, a forma como os desenvolvedores encaram suas tarefas é de suam importância. Em um ambiente como o usual em projetos de FOSS (free/open source software) em que profissionais (desenvolvedores pagos) compartilham os esforços de desenvolvimento com voluntários, a moral da comunidade de desenvolvedores e usuários é fundamental. Neste artigo, apresentamos uma análise preliminary utilizando técnicas de análise de sentimentos realizada em um projeto de FOSS. Para isso, executamos a mineração da lista de endereços eletrônicos de um projeto e aplicamos as técnicas propostas aos participantes mais relevantes. Embora a aplicação seja limitada, no momento atual, experamos que essa experiência possa ser benéfica no future para determiner situações que possam afetar os desenvolvedores ou o projeto, tais como baixa produtividade, abandono do projeto ou bifurcação do projeto, entre outras.

scholarly journals XML (almost) all the way

2015 ◽  
Author(s):  
Peter Flynn
Keyword(s):  
Human Factors ◽  
Open Source ◽  
Support Group ◽  
Open Source Software ◽  
Financial Resources ◽  
Small Scale ◽  
It Support ◽  
Source Journal ◽  
Almost All

In 2006 my university academic IT support group was approached by an academic colleague wanting to start a new journal, which would be available in electronic form only. There were restrictions imposed by the technical capabilities of the pool of authors, the requirements of the discipline, and — unsurprisingly — the lack of financial resources. The decision was made to implement a system using only open source software, and building largely from scratch, as the existing open source journal publishing systems at the time, although comprehensive and well-established, were seen as far too large and complex for the task. This paper is a case study describing the process and explaining the background to the decisions made. It attempts to draw some conclusions about the technical viability of creating a small-scale publishing system which attempted to retain XML throughout the workflow, and about the human factors which influenced the decisions.

scholarly journals An open-source based toolchain for the georeferencing of old cadastral maps

2016 ◽  
Author(s):  
Jean-Michel Follin ◽  
Maïté Fahrasmane ◽  
Élisabeth Simonetto
Keyword(s):  
Land Cover ◽  
Open Source ◽  
Programming Language ◽  
Open Source Software ◽  
Human Activities ◽  
Historical Data ◽  
Cadastral Maps ◽  
First Results ◽  
The Web

More and more historical data are available on the web. In France, old cadastral maps are regularly published by the “départements”. Such material is relevant to various applications (on-the-field search of specific objects such as old boundary stakes, historical studies of demography, human activities, land cover…). The GeF laboratory is working on the development of a complete methodological toolchain to vectorise, correct and analyse cadastral parcels and their evolution, using open source software and programming language only (QGIS, GDAL, Python). This article details the use of a part of this toolchain - georeferencing old cadastral data - on parcels located near the Loir river, in two villages of southern Sarthe: Vaas and Aubigné-Racan. After a presentation of our methodological toolchain, we will discuss our first results.

Sign in / Sign up

Export Citation Format

Share Document