Title :
On the meaning of `but´ [formal specification]
Author :
Schobbens, Pierre-Yves
Author_Institution :
Unite d´´Inf., Univ. Catholique de Louvain, Belgium
Abstract :
A formalisation 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 compositionality. It relies on a model-theoretic definition of the but conjunctive, whose properties and implementations are explored
Keywords :
exception handling; formal specification; knowledge based systems; programming theory; algebraic specification; but conjunctive; formal specification; model theory; rule exceptions; Animals; File systems; Formal specifications; Humans; Network address translation; Power system modeling; Safety; Software systems; Taxonomy; Zoology;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213062
