From specification languages to specification knowledge bases: The PTO approach

  • Valery N. Agafonov
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 379)


We discuss the conceptual aspect of the situation in which program specifications are developed and used. Then we show limitations of specification languages as a way to organize conceptual means used in developing specifications and using them. Finally, we describe an approach to overcome these limitations by means of the PTO knowledge based system which can also serve for providing specifiers and users of specifications with the necessary elements of the mathematical culture.


Program Specification Specification Language Language Construction Mathematical Language Conceptual Means 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    V.N.Agafonov. Languages and means for program specification (survey). In: Requirements and specifications in the program development. Moscow, Mir Publ., 1984, 285–344 (in Russian).Google Scholar
  2. 2.
    V.N. Agafonov. The program specification: conceptual means and their organization. Novosibirsk, Nauka, 1987 (in Russian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Valery N. Agafonov
    • 1
  1. 1.Tsentrprogrammsystem (Centre of Program Systems)KalininUSSR

Personalised recommendations