Abstract datatypes, specialization, and program reuse
An international workshop on Advanced programming environments
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Refactoring object-oriented frameworks
Refactoring object-oriented frameworks
LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Beyond the Black Box: Open Implementation
IEEE Software
Promises: limited specifications for analysis and manipulation
Proceedings of the 20th international conference on Software engineering
Structural Views, Structural Evolution, and Product Families
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |