On a mereological system for relational software specifications

DOI10.1007/3-540-45687-2_31MaRDI QIDQ4708586zbMATH OpenFDO

Authors Ryszard Janicki

Publication date 18 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2420/24200375.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Towards a mereological system for direct products and relations
• Mathematical Foundations of Computer Science 2005
• On a Parthood Specification Method for Component Software
• scientific article; zbMATH DE number 475192
• A Categorical Approach to Mereology and Its Application to Modelling Software Components

Cited in

(9)

• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• Relation partition algebra -- mathematical aspects of uses and part-of relations
• On a Parthood Specification Method for Component Software
• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• scientific article; zbMATH DE number 475192 (Why is no real title available?)
• Towards a mereological system for direct products and relations
• Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
• Preparing relational algebra for ``just good enough hardware
• Mathematical Foundations of Computer Science 2005

This page was built for publication: On a mereological system for relational software specifications

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