1836 search results - page 240 / 368 » Hierarchies for semantic classes |
FM
2005
Springer
15 years 3 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
ASP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
OOPSLA
2001
Springer
15 years 2 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
This paper describes Mo’K, a configurable workbench that supports the development of conceptual clustering methods for ontology building. Mo’K is intended to assist ontology de...
IFM
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...