Logical Support for Modularisation

Diaconescu, R; Goguen, J; Stefaneas, P

dc.contributor.author	Diaconescu, R	en
dc.contributor.author	Goguen, J	en
dc.contributor.author	Stefaneas, P	en
dc.date.accessioned	2014-03-01T01:41:40Z
dc.date.available	2014-03-01T01:41:40Z
dc.date.issued	1993	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/23571
dc.subject	Complex Structure	en
dc.subject	Distributive Law	en
dc.subject	Information Hiding	en
dc.subject	Theorem Proving	en
dc.title	Logical Support for Modularisation	en
heal.type	journalArticle	en
heal.publicationDate	1993	en
heal.abstract	: Modularisation is important for managing the complex structures thatarise in large theorem proving problems, and in large software and/or hardware developmentprojects. This paper studies some properties of logical systems that supportthe definition, combination, parameterisation and reuse of modules. Our results showsome new connections among: (1) the preservation of various kinds of conservativeextension under pushouts; (2) various distributive laws for	en