Data refinement by calculation
Acta Informatica
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
Automated support for encapsulating abstract data types
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Small-scale structural reengineering of software
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Promises: limited specifications for analysis and manipulation
Proceedings of the 20th international conference on Software engineering
Beyond the Black Box: Open Implementation
IEEE Software
Systematic Change of Data Representation: Program Manipulations and a Case Study
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Hi-index | 0.00 |