ON AN APPROACH TO THE CONSTRUCTION OF LANGUAGES OF FUNCTIONAL CORRECTNESS-ORIENTED SPECIFICATIONS

Authors
ABRAMOVA NA
Citation
Na. Abramova, ON AN APPROACH TO THE CONSTRUCTION OF LANGUAGES OF FUNCTIONAL CORRECTNESS-ORIENTED SPECIFICATIONS, Automation and remote control, 56(2), 1995, pp. 287-307
Citations number
14
Categorie Soggetti
Controlo Theory & Cybernetics","Computer Application, Chemistry & Engineering","Instument & Instrumentation","Robotics & Automatic Control
Journal title
Automation and remote control → ACNP
ISSN journal
00051179
Volume
56
Issue
2
Year of publication
1995
Part
2
Pages
287 - 307
Database
ISI
SICI code
0005-1179(1995)56:2<287:OAATTC>2.0.ZU;2-P
Abstract
An approach to the construction of specifications of languages as the languages of functions is proposed. These languages have expressive me ans aha-l are correctness-oriented in solving the problems of a formal ized design of software tools and systems of control. A family of sche mes of function languages is developed. This family realizes the appro ach proposed. Directions of its development are given and some criteri a of a comparative estimate of languages with regard to their mathemat ical properties are proposed.