RO  EN
IMCS/Publications/CSJM/Issues/CSJM v.23, n.2 (68), 2015/

Structuring of Specification Modules (extended)

Authors: Răzvan Diaconescu

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.

Simion Stoilow Institute of Mathematics of Romanian Academy
Romania
E-mail:

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License

Fulltext

Adobe PDF document0.14 Mb