A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems^sup

An approach is proposed to the construction of functional specifications and automation of the transition from natural language specifications to formal models in a format convenient for the subsequent verification and validation of these models. Texts are transformed into models with the help of th...

Full description

Saved in:
Bibliographic Details
Published in:Cybernetics and systems analysis 2016-09, Vol.52 (5), p.684
Main Authors: Godlevsky, A B, Mishchenko, N M, Morokhovets, M K, Felizhanko, O D, Shchogoleva, N N
Format: Article
Language:English
Subjects:
Analysis
Automation
Behavior
Computer peripherals
Computer science
Cybernetics
Design engineering
Design specifications
Language
Methods
Natural language
Ontology
Software
Studies
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:An approach is proposed to the construction of functional specifications and automation of the transition from natural language specifications to formal models in a format convenient for the subsequent verification and validation of these models. Texts are transformed into models with the help of the interactive system PNS. The described approach is illustrated by a detailed example.
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-016-9871-9