Comments, assertions and pragmas
ACM SIGPLAN Notices
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
ACM SIGPLAN Notices
Terminable statements and destructive computation
ACM SIGPLAN Notices
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modelling software process change for cooperative work
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Converting Java classes to use generics
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Developing parallel programs: A design-oriented perspective
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Modular aspect-oriented design with XPIs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Language-based verification will change the world
Proceedings of the FSE/SDP workshop on Future of software engineering research
Template constructors for reusable object initialization
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Hi-index | 0.00 |