IEEE - Institute of Electrical and Electronics Engineers, Inc. - Category semantics for fusion and refinement of multi-sorted specifications

2006 9th International Conference on Information Fusion

Author(s): Jerzy Tomasik ; Jerzy Weyman
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2006
Conference Location: Florence, Italy
Conference Date: 10 July 2006
Page(s): 1 - 8
ISBN (CD): 0-9721844-6-5
ISBN (Paper): 1-4244-0953-5
DOI: 10.1109/ICIF.2006.301630
Regular:

The goal of this paper is to describe the theory of refinements of specifications based on localizations of categories. The approach allows us to enlarge the family of refinements (i.e.... View More

Advertisement