Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
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
Machine learning for software reuse
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |