Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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).
V.N. Agafonov. The program specification: conceptual means and their organization. Novosibirsk, Nauka, 1987 (in Russian).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Agafonov, V.N. (1989). From specification languages to specification knowledge bases: The PTO approach. In: Kreczmar, A., Mirkowska, G. (eds) Mathematical Foundations of Computer Science 1989. MFCS 1989. Lecture Notes in Computer Science, vol 379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51486-4_53
Download citation
DOI: https://doi.org/10.1007/3-540-51486-4_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51486-2
Online ISBN: 978-3-540-48176-8
eBook Packages: Springer Book Archive