Multiparadigm Specification Languages: A First Attempt at Foundations

作者: Egidio Astesiano , Maura Cerioli

DOI: 10.1007/978-1-4471-3229-5_10

关键词:

摘要: This paper is a first attempt at formal foundation of specification languages allowing their basic modules to be defined in several formalisms. More precisely rigorous notion compositional tool for importing/exporting specifications between two instances one metalanguage on different algebraic frameworks proposed.

参考文章(17)
R. M. Burstall, J. A. Goguen, The Semantics of CLEAR, A Specification Language Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School. pp. 292- 332 ,(1979) , 10.1007/3-540-10007-5_41
Christoph Beierle, Angelika Voß, Viewing Implementations as an Institution Category Theory and Computer Science. pp. 196- 218 ,(1987) , 10.1007/3-540-18508-9_27
Egidio Astesiano, Maura Cerioli, Relationships between Logical Frameworks workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 126- 143 ,(1991) , 10.1007/3-540-56379-2_37
Donald Sannella, Martin Wirsing, A Kernel Language for Algebraic Specification and Implementation. Annales Des Télécommunications. ,(1983)
C. A. R. Hoare, Proof of correctness of data representation Language Hierarchies and Interfaces, International Summer School. pp. 183- 193 ,(1975)
R. M. Burstall, J. A. Goguen, Putting theories together to make specifications international joint conference on artificial intelligence. pp. 1045- 1058 ,(1977)
C B Jones, Systematic software development using VDM Prentice Hall International (UK) Ltd.. ,(1986)
Donald Sannella, Andrzej Tarlecki, Specifications in an arbitrary institution Information & Computation. ,vol. 76, pp. 165- 210 ,(1988) , 10.1016/0890-5401(88)90008-9