From specification languages to specification knowledge bases: The PTO approach
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.
KeywordsProgram Specification Specification Language Language Construction Mathematical Language Conceptual Means
Unable to display preview. Download preview PDF.
- 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.V.N. Agafonov. The program specification: conceptual means and their organization. Novosibirsk, Nauka, 1987 (in Russian).Google Scholar