Structuring of Specification Modules (extended)

Abstract

This paper has two goals. One goal is to provide a brief introduction to the concept of modularisation in the context of formal specifications. The other goal is to survey some recent developments in this area, including parameter instantiation with sharing and module systems for behavioural specifications.