Towards an FCA based tool for visualising formal specifications

Tilley, T. A. (2003). Towards an FCA based tool for visualising formal specifications. In: B. Ganter and A. Moor, Using Conceptual Structures: Contributions to ICCS2003. International Conference on Conceptual Structures, Dresden, Germany, (227-240). 21-25 July, 2003.

Author Tilley, T. A.
Title of paper Towards an FCA based tool for visualising formal specifications
Conference name International Conference on Conceptual Structures
Conference location Dresden, Germany
Conference dates 21-25 July, 2003
Proceedings title Using Conceptual Structures: Contributions to ICCS2003
Place of Publication Aachen, Germany
Publisher Shaker Verlag
Publication Year 2003
Sub-type Fully published paper
ISSN 0945-0882
Editor B. Ganter
A. Moor
Start page 227
End page 240
Total pages 14
Collection year 2003
Language eng
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 01:58:01 EST