Computer Science Journal of Moldova (Oct 2015)
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.