REMICS participation at CS 2013



REMICS was participating at omputer Science and Information Systems 2013 OnLine-First Issue 00 (

 W. Nowakowski, M. Śmiałek, A. Ambroziewicz and T. Straszak, "Requirements-Level Language and Tools for Capturing Software System Essence", Computer Science and Information Systems, (journal) accepted for publication, 2013,

DOI: 10.2298/CSIS121210062N


Creation of an unambiguous requirements specification with precise domain vocabulary is crucial for capturing the essence of anysoftware system, either when developing a new system or when recovering knowledge from a legacy one. Software specifications usually maintain noun notions and include them in central vocabularies. Verb or adjective phrases are easily forgotten and their definitions buried inside imprecise paragraphs of text. This paper proposes a model-based language for comprehensive treatment of domain knowledge, expressed throughconstrained natural language phrases that are grouped by nouns and include verbs, adjectives and prepositions. In this language, vocabulariescan be formulated to describe behavioural characteristics of a given problem domain. What is important, these characteristics can be linked fromwithin other specifications similarly to a wiki. The application logic can be formulated through sequences of imperative subject-predicate sentences containing only links to the phrases in the vocabulary. The paper presents an advanced tooling framework to capture application logic specifications making them available for automated transformations down to code. The tools were validated through a controlled experimen