作者: 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.