Deriving programs using generic algorithms
IBM Systems Journal
Inheritance of rewrite rule structures applied to symbolic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Class-is-type is inadequate for object reuse
ACM SIGPLAN Notices
Verification for Java's Reentrant Multithreading Concept
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Formal Definition and Refinement of UML's Module/Package Concept
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Analogy-Based Learning How to Construct an Object Model
ISNN '07 Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
| Hi-index | 0.00 |