Abstract

In this paper, a formalization of exceptions to a general rule is proposed. It builds upon the modularisation of theories proposed by the algebraic specification approach, and preserves its engineering principles: modularity and com- positionality. It relies on a model-theoretic definition of the "but" conjunctive, whose properties and implementations are explored.

Original languageEnglish
Title of host publicationIWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design
PublisherACM Press
Pages185-192
Number of pages8
ISBN (Print)0818623209, 9780818623202
Publication statusPublished - 25 Oct 1991
Event6th International Workshop on Software Specification and Design, IWSSD 1991 - Como, Italy
Duration: 25 Oct 1991 → …

Publication series

NameIWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Conference

Conference6th International Workshop on Software Specification and Design, IWSSD 1991
CountryItaly
CityComo
Period25/10/91 → …

Fingerprint Dive into the research topics of 'On the Meaning of "but'. Together they form a unique fingerprint.

Cite this