Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Making the future safe for the past: adding genericity to the Java programming language
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
STL tutorial and reference guide, second edition: C++ programming with the standard template library
STL tutorial and reference guide, second edition: C++ programming with the standard template library
Design and implementation of generics for the .NET Common language runtime
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
IEEE Software
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Dynamic Module Replacement in Distributed Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
Design pattern contracts
Dynamically reconfigurable parameterized components
Dynamically reconfigurable parameterized components
Serfs: Dynamically-bound parameterized components
Journal of Systems and Software
GenQA: automated addition of architectural quality attribute support for Java software?
Proceedings of the 2009 ACM symposium on Applied Computing
| Hi-index | 0.00 |
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parameters are bound. Many languages provide syntactic support for parameterized components; this mode of parameterization can be called static parameterization. In order to be able to support dynamic reconfiguration, the Service Facility pattern has been proposed as an enabling technology for dynamic parameterization. However, static parameterization has the advantage of strong type-checking that dynamic parameterization does not. In this paper, we present DynInstaCheck --- a tool that automatically instruments dynamically bound parameterized components with run-time checking code that ensures type-safe parameter binding. The source instrumentation is done in a non-intrusive way, using aspect-oriented programming.