On a mereological system for relational software specifications

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

Volumn 2420, Issue , 2002, Pages 375-386

  Janicki, Ryszard ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

ALGEBRAIC FRAMEWORK; SOFTWARE SPECIFICATION;

ALGEBRA;

EID: 84956984581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45687-2_31     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 (first edition in 1951).
8. L. Henkin, J. D. Monk, A. Tarski, Cylindric Algebras, Part I, North Holland 1971.
9. T. Imielinski, W. Lipski, The relational model of data and cylindric algebras, Journal of Computer and System Sciences, 28 (1984), 80-102.
10. 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.
11. 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
12. 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 avalable at http://www.crl.mcmaster.ca/SERG/serg.publications.html
13. R. Janicki, R. Khédri, On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39 (2001) 189-214.
14. R. Janicki, D. L. Parnas, J. Zucker, Tabular Representations in Relational Documents, in [3].
15. R. Khédri, Requirements Scenarios Formalization Technique: n Versions Towards One Good Version, Proc. of RELMICS’01, Genova 2001.
16. K. Kuratowski, A. Mostowski, Set Theory, North Holland, 1976.
17. H. Leonard, N. Goodman, The calculus of individuals and its uses, Journal of Symbolic Logic, 5 (1940), 45-55.
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