Set Theory as a Semantic Framework for Object-Oriented Modeling
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Diagrammatic Formal Specification of a Configuration Control Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |