On the correctness of modular systems
type: Item
instance of: scholarly article
title: On the correctness of modular systems
zbMATH Open document ID: 0874.68065
DOI: 10.1016/0304-3975(94)00207-Y
author: Juan-Miguel Gracia
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 985889
zbMATH Keywords: modular software design
MaRDI profile type: Publication
cites work: A general framework for modular implementations of modular system specifications
cites work: Algebraic specification of modules and their basic interconnections
cites work: Q3906394
cites work: Algebraic implementation of abstract data types
cites work: Q3221381
cites work: Q3995131
cites work: Abstract and behaviour module specifications
cites work: Q4037315
cites work: Q3031906
cites work: Q5416166
cites work: Institutions: abstract model theory for specification and programming
cites work: Q3956373
cites work: Proof of correctness of data representations
cites work: Q3032225
cites work: Q4729318
cites work: Q3923580
cites work: Q3938468
cites work: On observational equivalence and algebraic specification
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: Specifications in an arbitrary institution
cites work: Q4385539
Recommended article: Modular correctness proofs of behavioural implementations
Recommended article: Formal reasoning about modules, reuse and their correctness
Recommended article: Q4738467
Recommended article: Q3696492
Recommended article: On Conditions for Modular Verification in Systems of Synchronising Components
Recommended article: Q3347268
Recommended article: The verification of modules
Recommended article: On the completeness of modular proof systems
Recommended article: Model Checking in Isomorphic Module Systems
description: scientific article; zbMATH DE number 985889