On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
IEEE Transactions on Software Engineering
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
Behavioral relationships between software components
Behavioral relationships between software components
Formal specification of COTS-based software: a case study
SSR '99 Proceedings of the 1999 symposium on Software reusability
A system for predictable component-based software construction
High integrity software
Hi-index | 0.00 |