Search results for "Software"

Generating App Product Lines in a Model-Driven Cross-Platform Development Approach

2016

Within software product lines (SPL) similar software products are created based on common features. We applied this versatile approach to cross-platform app development by extending the domain-specific language (DSL) of an established model-driven development framework. The goal was to support the formulation of coherent building blocks of business use cases, referred to as workflow elements. While the former implementation already abstracted from technical details and provided the possibility to reuse low level features, it now enables to build business apps by combining coherent, self-contained workflow elements. Providing this support on the language level facilitates reusable component-…

RTS2: Lessons learned from a widely distributed telescope network

2008

RTS2 (Remote Telescope System 2) is a highly modular open source telescope and observatory management software package. It evolved from RTS, which was developed in Python to control a telescope aimed at observing optical transients of γ ray burts. The development of a network system capable of operating robotic telescopes is both difficult and complicated. Along with continued software development one must be concerned with maintaining operations and obtaining results. This is a review of experiences gained building a network of robotic telescopes. It focuses on describing which issues are important during development of the robotic observatory software and requirements for future developme…

Introduction to the Minitrack on Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems

2021

On the Generalizability of Programs Synthesized by Grammar-Guided Genetic Programming

2021

Grammar-guided Genetic Programming is a common approach for program synthesis where the user’s intent is given by a set of input/output examples. For use in real-world software development, the generated programs must work on previously unseen test cases too. Therefore, we study in this work the generalizability of programs synthesized by grammar-guided GP with lexicase selection. As benchmark, we analyze proportionate and tournament selection too. We find that especially for program synthesis problems with a low output cardinality (e.g., a Boolean output) lexicase selection overfits the training cases and does not generalize well to unseen test cases. An analysis using common software metr…

Smart Technologies for Improved Software Maintenance

2015

Steadily increasing complexity of software systems makes them difficult to configure and use without special IT knowledge. One of the solutions is to improve software systems making them “smarter”, i.e. to supplement software systems with features of self-management, at least partially. This paper describes several software components known as smart technologies, which facilitate software use and maintenance. As to date smart technologies incorporate version updating, execution environment testing, self-testing, runtime verification and business process execution. The proposed approach has been successfully applied in several software projects.

A Framework for Component Reuse in a Metamodelling-Based Software Development

2001

A Case Study of Open Source Software Development in Proteomic Area: The LIMS ePims

2008

The objective of this paper is to provide an illustrative feedback on development of Open Source software among several partners. We describe the first stage of the design of a specific software package, namely a customized Laboratory Information Management System (LIMS) for biology applications. This software package is structured in several modules which are reusable and can be customized for other applications. In this paper, we address the problem of multi-licensing for the same software tools due to the participation of several partners, the reuse of code source, and the subsequent distribution of this produced software.

An Integrated Framework for Meta Modeling

2006

Meta modeling is an essential means to systematize, formalize, standardize, integrate, analyze and compare models, techniques, methods and tools. Numerous fields, such as databases, software engineering, software architectures, semantic web, computer-aided tools and method engineering, have benefited from it. The importance of meta modeling is ever increasing along with the emergence of novel approaches, architectures, techniques and languages based on UML and MDA. This paper presents a framework to integrate and compare divergent conceptions of meta modeling in databases, software engineering, and information systems development. The framework is applied to analyze and compare conceptions …

Methods for optimal shape design of electrical devices

1996

Often the primary problem facing designers of structural systems is determining the shape of the structure. In spite of graphical work stations and modern software for analyzing the structure, finding the best geometry for the structure by “trial and error” is still a very tedious and timeconsuming task. The goal in optimal shape design (structural optimization, or redesign) is to computerize the design process and therefore shorten the time it takes to design new products or improve the existing design. Structural optimization is already used in many applications in industry. In general, however, structural optimization is just beginning to penetrate the industrial community. Integrating F…

A Support Vector Machine Signal Estimation Framework

2018

Support vector machine (SVM) were originally conceived as efficient methods for pattern recognition and classification, and the SVR was subsequently proposed as the SVM implementation for regression and function approximation. Nowadays, the SVR and other kernel‐based regression methods have become a mature and recognized tool in digital signal processing (DSP). This chapter starts to pave the way to treat all the problems within the field of kernel machines, and presents the fundamentals for a simple, framework for tackling estimation problems in DSP using support vector machine SVM. It outlines the particular models and approximations defined within the framework. The chapter concludes wit…