Mixing abstract and concrete modules: specification, development and prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
A survey of software reuse libraries
Annals of Software Engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Hi-index | 0.00 |