Relating Domain Concepts Intensionally by Ordering Connections

DOI10.1007/978-3-540-75221-9_8zbMath1151.68662OpenAlexW1545576503MaRDI QIDQ3526933

Asger Eir

Publication date: 25 September 2008

Published in: Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75221-9_8

zbMATH Keywords

classificationGalois connectionformal methodsabstract interpretationdomain engineeringintensionconceptual modellingthe RAISE Specification Language (RSL)

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Operations research and management science (90B99)

Related Items (1)

Compositionality: Ontology and Mereology of Domains

This page was built for publication: Relating Domain Concepts Intensionally by Ordering Connections