ACM Computing Surveys (CSUR)
Parametrized programming in LILEANNA
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
WISR'93: 6th annual workshop on software reuse: summary and working group reports
ACM SIGSOFT Software Engineering Notes
Open implementation analysis and design
Proceedings of the 1997 symposium on Software reusability
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
An open implementation analysis and design for lightweight threads
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Modular mixin-based inheritance for application frameworks
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An Object-Oriented Tool for Tracing Requirements
IEEE Software
Formal Methods: Promises and Problems
IEEE Software
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Pragmatics in the Synthesis of Logic Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Aspect-oriented software components
Adaptive evolutionary information systems
Parsimony principles for software components and metalanguages
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
C++ concepts as institutions: a specification view on concepts
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Reusing hardware components with single-state processes
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Hi-index | 0.00 |