On mereologies in computing science

DOI10.1007/978-1-84882-912-1_3MaRDI QIDQ3163397zbMATH OpenOpenAlexFDO

Authors Dines Bjørner

Publication date 26 October 2010

Published in Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-912-1_3

zbMATH Keywords

CSP channelCSP processes

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Mereology in engineering and computer science
• Mathematical Foundations of Computer Science 2005
• Mereology

Cited in

(6)

• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Domain science and engineering from computer science to the sciences of informatics. I: Engineering
• Mereology in engineering and computer science
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Manifest domains: analysis and description
• Domain modelling: a foundation for software development

This page was built for publication: On mereologies in computing science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3163397)