Search results for "Source code"
showing 10 items of 61 documents
PMG-Pro: A Model-Driven Development Method of Service-Based Applications
2011
Published version of a chapter published in the book: SDL 2011: Integrating System and Software Modeling. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-642-25264-8_12 In the Internet of Things, billions of networked and software-driven devices will be connected to the Internet. They can communicate and cooperate with each other to form a composite system. In this paper, we propose PMG-pro (present, model, generate and provide), a language independent, bottom-up and model-driven method for the development of such composite system. We envision that all devices in the Internet of Things provide their functionalities as services. From a service description, a service pre…
Verification of Symbolic Distributed Protocols for Networked Embedded Devices
2020
The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes …
Automatic Sleep Stage Identification with Time Distributed Convolutional Neural Network
2021
Polysomnography (PSG), the gold standard for sleep stage classification, requires a sleep expert for scoring and is both resource-intensive and expensive. Many researchers currently focus on the real-time classification of the sleep stages based on biomedical signals, such as Electroencephalograph (EEG) and electrooculography (EOG). However, most of the research work is based on machine learning models with multiple signal inputs or hand-engineered features requiring prior knowledge of the sleep domain. We propose a novel encoded Time-Distributed Convolutional Neural Network (TDConvNet) to automatically classify sleep stages based on a single raw PSG signal. The TDConvNet can infer sleep st…
2MOLCAS as a development platform for quantum chemistry software
2004
This work presents the quantum chemistry package MOLCAS, with emphasis on its usefulness as a platform for developing new quantum chemical codes, and the reader is assumed to be familiar with such a process. The development of new codes for quantum chemistry is a time-consuming job that can be dramatically simplified by using libraries for standard problems (such as calculation of integrals), and tools to surmount computer language and operating system limitations. The MOLCAS quantum chemistry software contains modules for a variety of quantum chemical methods, such as Hartree-Fock (HF), density functional theory (DFT), coupled-cluster (CC), and multiconfigurational (MCSCF) approaches, incl…
Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory
2011
The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ‘‘radio- hybrid’’ measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features …
Exploratory Analysis of the Relations between Code Cloning and Open Source Software Quality
2010
In recent literature there is still a lack of understanding how the reuse and cloning of software affects its quality. The focus of this study is to analyze the relationships between source code cloning and software quality for the case of open source software project forks (SPFs) as a kind of software reuse. In total 117 releases related to three generations of eight eMule SPFs were scrutinized. Software quality was measured in terms of internal quality attributes. The tools CCFinderX and SoftCalc were used to measure code cloning metrics and internal quality attributes, respectively. In total 8 code cloning metrics and 71 internal quality attributes were analyzed. The quantitative relatio…
An Agile methodology for Manufacturing Control Systems development
2007
Robotized manufacturing cells are required more and more often to process high variety of short life-cycle product. This increases the need for methods and techniques for easy reconfiguration of software programs running in Programmable Logic Controllers (PLC), i.e., devices able to control manufacturing systems. PLCs run embedded code characterized by a procedural nature that does not make it quite reconfigurable. In this paper we propose an AGIle COntrol System Development (AGICOSD) methodology that uses various practices of Agile software development methodologies and the Design By Contract (DBC) practice for modeling and programming manufacturing control systems. In this context we prop…
An Exploratory Empirical Study of Internal Quality Attributes of Open Source Software Systems
2012
This exploratory empirical study has focused on open source software (OSS). Seven medium-sized OSS systems from the SourceForge repository were analysed. Over 100 internal quality attributes and programming practices were scrutinized by using two semi-automated source code analysis tools (FindBugs and SoftCalc). Many statistically significant relations were revealed by the conducted regression analyses. Seven so-called bad programming practices; as manifested by the measured source code inconsistencies were identified as having significant relations to internal software quality. Additionally we set and tested two hypotheses. That investigation provided mixed results partly supporting some o…
Assessing maintainability change over multiple software releases
2008
The focus of the paper is to reveal the relationships between software maintainability and other internal software quality attributes. The source code characteristics of five Java-based open-source software products are analyzed using the software measurement tool SoftCalc. The relationships between maintainability and internal quality attributes are identified based on the Pearson product moment correlation analysis. Our results show negative correlations between maintainability and some well-known internal software quality attributes, as well as the ones between maintainability and complexity metrics. Particularly, according to our results, the Number of Data Variables Declared and the De…
Implementation of the full explicitly correlated coupled-cluster singles and doubles model CCSD-F12 with optimally reduced auxiliary basis dependence.
2008
An implementation of the full explicitly correlated coupled-cluster singles and doubles model CCSD-F12 using a single Slater-type geminal has been obtained with the aid of automated term generation and evaluation techniques. In contrast to a previously reported computer code [T. Shiozaki et al., J. Chem. Phys. 129, 071101 (2008)], our implementation features a reduced dependence on the auxiliary basis set due to the use of a reformulated evaluation of the so-called Z-intermediate rather than straight forward insertion of an auxiliary basis expansion, which allows an unambiguous comparison to more approximate CCSD-F12 models. First benchmark results for total correlation energies and reactio…