Translating Formal Software Specifications to Natural Language

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/11422532_4 ◽

2005 ◽

pp. 51-66 ◽

Cited By ~ 12

Author(s):

David A. Burke ◽

Kristofer Johannisson

Keyword(s):

Natural Language ◽

Software Specifications

Download Full-text

Filtering software specifications written in natural language

Progress in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60428-6_41 ◽

1995 ◽

pp. 447-455 ◽

Cited By ~ 1

Author(s):

Núria Castell ◽

Àngels Hernández

Keyword(s):

Natural Language ◽

Software Specifications

Download Full-text

Requirements-level language and tools for capturing software system essence

Computer Science and Information Systems ◽

10.2298/csis121210062n ◽

2013 ◽

Vol 10 (4) ◽

pp. 1499-1524 ◽

Cited By ~ 5

Author(s):

Wiktor Nowakowski ◽

Michał Śmiałek ◽

Albert Ambroziewicz ◽

Tomasz Straszak

Keyword(s):

Natural Language ◽

Domain Knowledge ◽

Comprehensive Treatment ◽

Software System ◽

Problem Domain ◽

Behavioural Characteristics ◽

Software Specifications ◽

Application Logic ◽

Imperative Subject ◽

New System

Creation of an unambiguous requirements specification with precise domain vocabulary is crucial for capturing the essence of any software 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 through constrained natural language phrases that are grouped by nouns and include verbs, adjectives and prepositions. In this language, vocabularies can be formulated to describe behavioural characteristics of a given problem domain. What is important, these characteristics can be linked from within 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 experiment.

Download Full-text