Towards a mereological system for direct products and relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2475, Issue , 2002, Pages 113-122

  Janicki, Ryszard ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ALGEBRAIC MODELING; DIRECT PRODUCT;

ROUGH SET THEORY;

EID: 84942908291     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45813-1_14     Document Type: Conference Paper

References (22)

1. R. Abraham, Evaluating Generalized Tabular Expressions in Software Documentation, CRL Report 346, McMaster University, Hamilton, Ontario, Canada, 1997. Available at http://www.crl.mcmaster.ca/SERG/serg.publications.html
2. T. A. Alspaugh, S. R. Faulk, K. Heninger-Britton, R. A. Parker, D. L. Parnas, J. E. Shore, Software Requirements for the A-7E Aircraft, NRL Memoramdum Report 3876, Naval Research Lab., Washington, DC, 1992.
3. C. Brink, W. Kahl, G. Schmidt (eds.), Relational Methods in Computer Science, Springer 1997.
4. E. F. Codd, A relational model of data for large shared data banks, Comm. of the ACM, 13 (1970) 377-388.
5. I. Düntsh, S. Mikulás, Cylindric structures and dependencies in data bases, Theoretical Computer Science, 269,1,2 (2001), 451-468.
6. J. Desharnais, R. Khédri, A. Mili, Towards a Uniform Relational Semantics for Tabular Expressions, Proc. RELMICS 98, Warsaw 1998.
7. N. Goodman, The Structure of Appearance, 3rd edition, D. Reidel, 1977
8. T. Imielinski, W. Lipski, The relational model of data and cylindric algebras, Journal of Computer and System Sciences, 28 (1984), 80-102.
9. R. Janicki, Towards a Formal Semantics of Parnas Tables, 17th International Conference on Software Engineering (ICSE’95), IEEE Computer Society, Seattle, WA, 1995, 231-240.
10. R. Janicki, On Formal Semantics of Tabular Expressions, CRL Report 355, Mc- Master University, Hamilton, Ontario, Canada 1997. Available at http://www.crl.mcmaster.ca/SERG/serg.publications.html
11. R. Janicki, Remarks on Mereology of Direct Products and Relations, in J. Desharnais (ed.), Relational Methods in Computer Science, Methodos Publ. 2002, to appear, early version at http://www.crl.mcmaster.ca/SERG/serg.publications.html
12. R. Janicki, Y. Zhang, A Simplistic Mereological System for Relations, Proc. of Int. Workshop on Computational Models of Scientific Reasoning and Applications CMSRA’02, Las Vegas, USA, 2002.
13. R. Janicki, On a Mereological System for Relational Software Specifications, Proceedings of MFCS’02 (Mathematical Foundations of Computer Science), Lecture Notes in Computer Science, to appear.
14. R. Janicki, R. Khédri, On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39 (2001) 189-214.
15. R. Janicki, D. L. Parnas, J. Zucker, Tabular Representations in Relational Documents, in [3].
16. R. Khédri, Requirements Scenarios Formalization Technique: n Versions Towards One Good Version, Proc. of RELMICS’01, Genova 2001.
17. K. Kuratowski, A. Mostowski, Set Theory, North Holland, 1976.
18. D. L. Parnas, Tabular representations of relations, CRL Report 260, McMaster University, Hamilton, Ontario, Canada 1992.
19. D. L. Parnas, J. Madey, Functional Documentation for Computer System Egineering, Science of Computer Programming, 24, 1 (1995), 41-61.
20. L. Polkowski, On Connection Synthesis via Rough Mereology, Fundamenta Informaticae, 46 (2001) 83-96.
21. L. Polkowski, A. Skowron, Rough Mereology; A New Paradigm for Approximate Reasoning, Journal of Approximate Reasoning, 15, 4 (1997), 316-333.
22. J. T. J. Strzednicki, V. F. Rickey (eds.), Leśniewski’s Systems, Kluwer Academic, 1984.