DocumentCode
3142328
Title
On the meaning of `but´ [formal specification]
Author
Schobbens, Pierre-Yves
Author_Institution
Unite d´´Inf., Univ. Catholique de Louvain, Belgium
fYear
1991
fDate
25-26 Oct 1991
Firstpage
185
Lastpage
192
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location
Como
Print_ISBN
0-8186-2320-9
Type
conf
DOI
10.1109/IWSSD.1991.213062
Filename
213062
Link To Document