SKY 2015 Abstracts

Full Papers Short Papers
Full Papers
Paper Nr: 3
Title:

Software, Is It Poetry or Prose? - Conceptual Content at the Higher Abstraction Levels
Authors:

Iaakov Exman and Alessio Plebe
Abstract: Software is it Poetry or Prose? It is part Poetry, part Prose. But it has much more in common with both forms of natural language, than usually admitted: software concepts, rather than defined by syntactic oriented computer programming languages, are characterized by the semantics of natural language. This paper exploits these similarities in a two-way sense. In one way the software perspective may be relevant to the analysis of natural language forms, such as poems. In the other way round, as its central message, this paper uses properties of both Poetry and Prose to facilitate a deeper understanding of highest-level software abstractions.
Download
Paper Nr: 4
Title:

Conceptual Object Exchanges among Software Games by Non-programmers
Authors:

Iaakov Exman and Guy Shimoni
Abstract: A non-programmer, who is an expert game player, could easily grasp the idea of improving his jumping avatar by importing a flying property found in another game. But in order to actually exchange conceptual objects between games one would need a suitably transparent software infra-structure. We propose the usage of UFOs – Unidentified Flying Objects – that can be smoothly transmitted and embedded into the target game, and except for their conceptual label, are so-to-speak unidentified by the non-programmer. This approach has been designed and implemented into a distributed system of multiple software games in different mobile computers. Beyond games, this system serves as a feasibility proof for on-the-fly exchange of Conceptual Objects among any kinds of software applications.
Download
Paper Nr: 6
Title:

Lido – Wiki based Living Documentation with Domain Knowledge
Authors:

Reuven Yagel
Abstract: There is a gap between code and documentation in many software development projects. This gap usually grows as time goes by, decreasing developers ability to keep product quality high. We describe how documentation based on a common wiki can be enhanced with domain knowledge in ways that ensure better live documentation. This way updated and relevant documentation, i.e., specifications, manuals, models, test scripts, etc. lead ultimately to higher quality software.
Download
Paper Nr: 11
Title:

Natural Language Processing System Applied in Public Health for Assessment of an Automatic Analysis of Patterns Generator
Authors:

Anabel Fraga, Juan Llorens, Valeria Rodríguez and Valentin Moreno
Abstract: Nowadays, there are many scientific articles referring to any topic like medicine, technology, economics, finance, and so on. These articles are better known as papers, they represent the evaluation and interpretation of different arguments, showing results of scientific interest. At the end, most of these are published in magazines, books, journals, etc. Due to the fact that these papers are created with a higher frequency it is feasible to analyse how people write in the same domain. At the level of structure and with the help of graphs some of the results that can be found are: groups of words that are used (to determine if they come from a specific vocabulary), most common grammatical categories, most repeated words in a domain, patterns found, and frequency of patterns found. This research has been created to fulfil these needs. A domain of public health has been selected and it is composed of 800 papers about different topics referring to genetics such as mutations, genetic deafness, DNA, trinucleotide, suppressor genes, among others; and an ontology of public health has been used to provide the basis of the study.
Download
Short Papers
Paper Nr: 7
Title:

A Flexible, Evolvable Data Broker
Authors:

Sidney C. Bailin and Theodora Bakker
Abstract: We describe a Data Broker application developed for New York University Langone Medical Center. The Broker was designed to accommodate an evolving set of data sources and destinations with little or no additional coding. A schema-less RDF database, currently implemented in OpenRDF but amenable to other implementations, is a key to this flexibility. The independence from a database schema allows the Broker to operate equally well in other institutions and in other applications. Thus, although it was built for one specific purpose, it can be reused as a general-purpose tool.
Download
Paper Nr: 8
Title:

GQR Model to Support Requirements Elicitation for Content Rich Systems
Authors:

Leah Goldin
Abstract: Requirements elicitation for content rich systems is a huge challenge. Even using known techniques, does not avoid diving into content details and get lost in hyperspace. We propose the GQR (Goal-Question-Result) model to support the Requirements Elicitation process in elevating the elicitation discussions from specific data elements to contextual structures of goal-question-result related content requirements, while scoping the discussion to specific stakeholders. This paper characterizes the GQR model, shows its advantages relative to the previous methods and illustrate its application by means of two case studies, one biomedical and another related to CMMI requirements processes.
Download
Paper Nr: 13
Title:

Archiving Programs for the Future
Authors:

Alexander Binun, Shlomi Dolev and Yin Li
Abstract: This paper presents a novel approach for long-term software archiving which is based on preserving programs as bit blocks. A simple machine that is able to execute a single command is used to interpret these bit blocks. We suggest to compile the existing programs into the bit representation of the One-Instruction-Set computer (OISC) command “SUBtract and Branch if Less than or EQual to zero”, shortly Subleq. This is in order to keep the resulting bit stream using error correcting code in a reliable storage unit. At any moment, this bit stream can be executed by a simple interpreter that possesses the functionality of a basic Random Access Machine. Furthermore, a compiler prototype based on an existing compiler and interpreter is also proposed to convert a program written by a procedural language (e.g., C) into the Subleq assembly language, and then translates it into a binary executable format. Error correcting is achieved by supplementing bit streams with Hamming codes. Our scheme nullifies the need to preserve legacy hardware in order to support/operate preserved software systems thus serving as a program “time capsule” for the future.
Download
Paper Nr: 14
Title:

Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge
Authors:

Martin Böschen and Christian Rudat
Abstract: We describe a particular notion of traceability, namely the traceability between model variables and text passages in an informal requirement and discuss the usefulness of this concept, as it establishes a natural connection between formal and informal requirements. The traceability can be established in an semi-automated way by using the algorithm presented in this paper, which combines two metrics to match parts of the informal requirements to model variables. The first metric is purely text based and uses the Levenshtein distance, the second metric measures the semantical distance of concepts by using the Wu and Palmer measure and the WordNet ontology. The algorithm makes suggestions to the requirements engineer based on a combined score of these two measures. The suggested approach has been implemented in a tool and is studied in a small example.
Download