Journal of the ACM (JACM)
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Regular Article: Another look at parameterization for order-sorted algebraic specifications
Proceedings of the 30th IEEE symposium on Foundations of computer science
Models and languages for component description and reuse
ACM SIGSOFT Software Engineering Notes
A Component Model for Perspective Management of Enterprise Software Reuse
Annals of Software Engineering
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
Refinements and Modules for Typed Graph Transformation Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
| Hi-index | 0.00 |