A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
This allows stronger validation of supplier instances, through the dynamic encapsulation of client-specific acceptance filtering, enabling more intensive defect detection. ... Application invariants are implemented in the context of client classes as methods utilizing correctness condition expressions, are dynamically hosted within supplier instances, while always called by ... client component stub. ...doi:10.1002/spe.695 fatcat:oruuiwohlzernbxfulpas36pxu
The notion of components, or component-based programming, seems to be a useful fundament for this kind of research. ... different datatypes, either because datatypes change during the development of programs , or because functions with similar functionality are needed on different datatypes. ... Current support for dynamic component adaptation, i.e. unanticipated, incremental modifications of a component system at run-time, is not sufficient. ...fatcat:p3574fhqcrhm7pwje7xk2odgoq
The notion of components, or component-based programming, seems to be a useful fundament for this kind of research. ... Although there is a high overlap of fundamental ideas and concepts, ideas are expressed in terms of sharply different language features. ... Current support for dynamic component adaptation, i.e. unanticipated, incremental modifications of a component system at run-time, is not sufficient. ...doi:10.4230/dagsemrep.231 fatcat:ae6mtaxchfdxpfrhl7htvx4joy
, which require the execution of some kind of process: two important domains are the run-time monitoring and control of functional and non-functional properties of the components of a distributed system ... , and the dynamically determined cooperation within a group of software agents towards some common goal. ... in themselves) across their different ontologies  . ...doi:10.7916/d8pv6xh1 fatcat:jc7kvnw6ovgp7adtok4f4zk5qu