SKY 2016 Abstracts

Full Papers Short Papers
Full Papers
Paper Nr: 1
Title:

Development and Evaluation of a Software Requirements Ontology
Authors:

He Tan, Muhammad Ismail, Vladimir Tarasov, Anders Adlemo and Mats Johansson
Abstract: This paper presents an ontology which has been developed to represent the requirements of a software component pertaining to an embedded system in the avionics industry. The ontology was built based on the software requirements documents and was used to support advanced methods in the subsequent stages of the software development process. In this paper it is described the process that was used to build the ontology. Two pertinent quality measures that were applied to the ontology, i.e. usability and applicability, are also described, as well as the methods used to evaluate the quality measures and the result of these evaluations.
Download
Paper Nr: 2
Title:

Modulaser: A Tool for Conceptual Analysis of Software Systems
Authors:

Iaakov Exman and Phillip Katz
Abstract: Modulaser is a software tool which produces a Modularity Matrix, to analyse the design of a software system given by its executable code. However, besides the concrete practical purposes of Modulaser, it is important to understand its techniques in a deeper sense. It is immediately clear that it describes the system in a higher abstraction level than the executable code, as the Modularity Matrix follows an implicit class diagram. But behind classes there are concepts. Thus, the ultimate purpose of Modulaser is conceptual analysis. This paper explains the ideas, describe Modulaser in these terms, and illustrate it by a series of case studies.
Download
Paper Nr: 5
Title:

The Modularity Matrix as a Source of Software Conceptual Integrity
Authors:

Iaakov Exman
Abstract: Conceptual Integrity has been declared the most important consideration for software system design. However, the very concept of Conceptual Integrity remained quite vague, lacking a precise formal definition. This paper offers a path to a novel definition of Conceptual Integrity in terms of the Modularity Matrix, the basic structure of Linear Software Models. We provide arguments for the plausibility of the Modularity Matrix as the suggested source of software system Conceptual Integrity, viz. the orthogonality and propriety of the Matrix modules. Furthermore, the paper also reveals some new characteristic properties of Software Conceptual Integrity.
Download
Paper Nr: 6
Title:

Syntactic-Semantic Extraction of Patterns Applied to the US and European Patents Domain
Authors:

Anabel Fraga, Juan Llorens, Eugenio Parra, Leticia Arroyo and Valentín Moreno
Abstract: Nowadays, there are many scientific inventions referring to any topic like medicine, technology, economics, finance, banking, computer science, and so on. These inventions are suggested as patents to the agencies working in US and Europe for the registration and revision of the patent applications. But, the job of reviewing the patents might be complicated because every day the quantity of it is bigger and bigger. And also, the amount of work dedicated writing a proper application might be intricate and needs several revisions from investor and examiners. This revision job might have costs for the inventor because they don’t know the proper language for writing the application in the formal mode used. As part of a solution, one approach to minimize the impact of this fact and increase the success of the reviewing process is aid the human reviewer and also inventors with a set of patterns created using Natural Language Processing techniques that accelerate the review just looking in the massive set of registration any similar one already patented and on the other hand aid the inventor writing in the formal manner the application.
Download
Paper Nr: 8
Title:

Modeling Semantics sans Mathematical Formalism
Authors:

Reuven Gallant
Abstract: Much ink has been spilled regarding the trials and tribulations of adapting formal methods to the needs of software engineering practitioners With the exception of computer scientists with a passion for algorithm design and optimization, a plethora of Greek letters and symbols can be an anathema to those whose first love is writing code. The advent of graphical modeling languages such as UML, and supporting tools that generate production quality code, executable modeling behavioral simulations for bridging the gap between formalism and coding. This paper proposes, with illustrative examples, an exploratory learning modality, by which the practicing engineer can investigate and empirically learn the semantic mapping of UML syntax to the semantic domains of system instantiation and reactive behavior.
Download
Short Papers
Paper Nr: 3
Title:

Fast and Reliable Software Translation of Programming Languages to Natural Language
Authors:

Iaakov Exman and Olesya Shapira
Abstract: An experienced software professional with several years of programming in some languages is usually expected to read or write with proficiency in a new programming language. However, if severe time constraints are involved, and given the current availability of internet sources, there is no reason to avoid shortcuts supporting fast translation of source code keywords into Natural Language. This work describes our tool coined PL-to-NL Translator, the main ideas behind it, and its extensions. One basic assumption that was clear from the beginning of this work is the need to keep as far as possible a clear separation between generic infra-structure and the specifics of particular programming languages. Moreover, the tool keeps its generality relative to programming languages, enabling through its contributor engine, addition of any desired current or future programming language. The ideas and the software tool characteristics are illustrated by some case studies involving a few sufficiently different programming languages.
Download
Paper Nr: 9
Title:

Requirements Engineering: More Is Not Necessarily Better
Authors:

Gonzalo Génova
Abstract: We show that documenting requirements (and, in general, requirements engineering) is profitable for the project, but not as profitable as to consider that “the more, the better”.
Download