On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Towards a Mereological System for Direct Products and Relations
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Using information about functions in selecting test cases
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Programming and Computing Software
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
On a parthood specification method for component software
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Timing tolerances in safety-critical software
FM'05 Proceedings of the 2005 international conference on Formal Methods
Basic mereology with equivalence relations
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |