Portal de Periódicos da CAPES

Abstract specification of mathematical structures and methods

1990; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-52531-9_125

1611-3349

Carla Limongelli, Michele Mele, Mauro Regio, Marco Temperini,

Software Engineering Research

This paper presents several methodological and technological aspects for the treatment of mathematical objects by very high level abstract specification of data and methods. A homogeneus environment is defined for the design and implementation at the highest abstract level. The presentation is developed from the point of view of both formal specification and implementation languages. Indeed specification and programming are considered as uniform actions under the same general conceptual model. The conceptual model is completely supported by the Object-Oriented methodology. Particular interest is devoted to Algorithmic Logic, as a logic specification language, and to Loglan as an innovative Object-Oriented programming language.