Filters








4 Hits in 1.9 sec

Application invariants: Design by Contract augmented with deployment correctness logic

Anthony Savidis
2006 Software, Practice & Experience  
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

Component-Based Programming under Different Paradigms Polytypic Programming

Johan Jeuring
unpublished
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

Component-based Programming under Different Paradigms (Dagstuhl Seminar 99081)

Philip Wadler, Karsten Weihe
1999
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

cucs-016-00.pdf [article]

2017
, 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 [16] .  ... 
doi:10.7916/d8pv6xh1 fatcat:jc7kvnw6ovgp7adtok4f4zk5qu