Filters








2,194,566 Hits in 2.6 sec

Specifying and implementing refactorings

Max Schaefer, Oege de Moor
2010 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10  
It is, however, surprisingly difficult to specify their behaviour in detail.  ...  This has resulted in refactoring implementations that are complex, hard to understand, and even harder to maintain, yet these implementations themselves are the only precise "specification" of many refactorings  ...  We specify refactorings as imperative procedures that modify the input program's abstract syntax tree.  ... 
doi:10.1145/1869459.1869485 dblp:conf/oopsla/SchaferM10 fatcat:skeb2i7b5zbzhbh4mouuuptswm

Implementation strategies: recommendations for specifying and reporting

Enola K Proctor, Byron J Powell, J Curtis McMillen
2013 Implementation Science  
We address the challenges of specifying and reporting implementation strategies encountered by researchers who design, conduct, and report research on implementation strategies.  ...  Implementation strategies have unparalleled importance in implementation science, as they constitute the 'how to' component of changing healthcare practice.  ...  In these cases, every effort should be made to specify the discrete or component parts of the implementation strategy. For example, Forsner et al.  ... 
doi:10.1186/1748-5908-8-139 pmid:24289295 pmcid:PMC3882890 fatcat:q7iel67gxnb27cajsisc6nh624

Specifying and implementing web content management software

MARTIN WHITE
2004 Serials: The Journal for the Serials Community  
The costs of implementation are also outlined, as these are invariably significantly greater than the CMS licence cost.  ...  The implementation itself also needs to be managed with care, especially where there is a considerable volume of legacy content to be migrated to the new system.  ...  Implementing a CMS The implementation of a CMS is a major task for any organization.  ... 
doi:10.1629/1751 fatcat:woicypwxwvcxlonhz2eorj2l4q

A Formalization for Specifying and Implementing Correct Pull-Stream Modules [article]

Erick Lavoie, Laurie Hendren
2018 arXiv   pre-print
Thus, the main contribution of this paper is to provide a formalization for specifying and implementing correct pull-stream modules based on the following: (1) we show the pull-stream design pattern is  ...  Despite the popularity and large uptake of the pull-stream design pattern, there was no existing formal specification that could help programmers reason about the correctness of their implementations.  ...  Thus, the main contribution of this paper is to provide a formalization for specifying and implementing correct pull-stream modules. We arrived at our current results in multiple steps.  ... 
arXiv:1801.06144v1 fatcat:ep6clpfs3vbnlk2gblrxrenlwq

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs [chapter]

Alexandre Petrenko, Nina Yevtushenko
2011 Lecture Notes in Computer Science  
The paper addresses the problem of adaptive testing of a deterministic FSM which models an implementation under test using a nondeterministic FSM as its specification.  ...  It elaborates a method for deriving test fragments, combining and executing them in adaptive way such that the implementation passes the test if and only if it is a reduction of the specification.  ...  FSM S = (S, s 0 , I, O, hS) is • trivial if hS = ∅; • completely specified (a complete FSM) if for each pair (s, i) ∈ S × I there exists (o, s′ ) ∈ O × S such that (s, i, o, s′ ) ∈ hS; • partially specified  ... 
doi:10.1007/978-3-642-24580-0_12 fatcat:gampz4o4rzffnprw74nwb3syyq

Specifying and implementing UI data bindings with active operations

Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel
2011 Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11  
In this paper, we propose the use of active operations for specifying and implementing UI data bindings to tackle this issue.  ...  In this paper, we propose the use of active operations for specifying and implementing UI data bindings.  ...  The use of active operations for specifying and implementing data binding removes such limitations.  ... 
doi:10.1145/1996461.1996506 dblp:conf/eics/BeaudouxBBJ11 fatcat:p6a7ovlpurf2lcrwvboj4f4ymq

Specifying and comparing implementation strategies across seven large implementation interventions: a practical application of theory

Cynthia K. Perry, Laura J. Damschroder, Jennifer R. Hemler, Tanisha T. Woodson, Sarah S. Ono, Deborah J. Cohen
2019 Implementation Science  
The Expert Recommendations for Implementing Change (ERIC) identified and defined discrete implementation strategies, and Proctor and colleagues have made recommendations for specifying operationalization  ...  We used ERIC to identify cooperatives' implementation strategies and specified the actor, action, target, dose, temporality, justification, and expected outcome for each.  ...  In our analysis, we specified further each cooperative's implementation strategies following Proctor and colleagues' recommendations.  ... 
doi:10.1186/s13012-019-0876-4 fatcat:m4653kiz3fewxnhkjiikdofeiq

Strengthening evaluation and implementation by specifying components of behaviour change interventions: a study protocol

Susan Michie, Charles Abraham, Martin P Eccles, Jill J Francis, Wendy Hardeman, Marie Johnston
2011 Implementation Science  
., 'behavioural counseling') can mean different things to different researchers or implementers.  ...  The development of effective interventions is hampered by the absence of a nomenclature to specify and report their content.  ...  this article as: Michie et al.: Strengthening evaluation and implementation by specifying components of behaviour change interventions: a study protocol. Implementation Science 2011 6:10.  ... 
doi:10.1186/1748-5908-6-10 pmid:21299860 pmcid:PMC3041694 fatcat:dykiyxydibcapd6hapcs5gjhlm

Specifying and implementing an eventual leader service for dynamic systems

Mikel Larrea, Michel Raynal, Iratxe Soraluze, Roberto Cortiñas
2012 International Journal of Web and Grid Services  
This problem is known as the implementation of the failure detector Ω. Nearly all papers that propose algorithms implementing such an eventual leader service consider a static system.  ...  Then, it presents and proves correct an algorithm implementing this specification. Finally, the paper discusses the notion of an eventual leader suited to dynamic systems.  ...  It is used only to describe the behavior of the system, specify the eventual leadership problem and prove correctness of associated algorithms.  ... 
doi:10.1504/ijwgs.2012.049167 fatcat:asnd4h2r45ggblu7gwfcrnzjcu

Specifying and Implementing an Eventual Leader Service for Dynamic Systems

Mikel Larrea, Michel Raynal
2011 2011 14th International Conference on Network-Based Information Systems  
This problem is known as the implementation of the failure detector Ω. Nearly all papers that propose algorithms implementing such an eventual leader service consider a static system.  ...  Then, it presents and proves correct an algorithm implementing this specification. Finally, the paper discusses the notion of an eventual leader suited to dynamic systems.  ...  It is used only to describe the behavior of the system, specify the eventual leadership problem and prove correctness of associated algorithms.  ... 
doi:10.1109/nbis.2011.43 dblp:conf/nbis/LarreaR11 fatcat:xecymx4v4nedte7mrpeax73wpm

Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments [chapter]

Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
2005 Lecture Notes in Computer Science  
This dialogue game is specified by indicating its entry conditions, its dynamics and its exit conditions.  ...  The paper proposes a set of algorithms for the implementation of the persuasion protocol and discusses their termination, complexity and correctness.  ...  Implementation The algorithms and the trustworthiness model presented in this paper are implemented using Jack TM technology.  ... 
doi:10.1007/978-3-540-32261-0_9 fatcat:32xj7lh7dfa4zhb3qft4l2v4ba

Forms and functions of bridging factors: specifying the dynamic links between outer and inner contexts during implementation and sustainment

Rebecca Lengnick-Hall, Nicole A. Stadnick, Kelsey S. Dickson, Joanna C. Moullin, Gregory A. Aarons
2021 Implementation Science  
Further identification and specification of this construct will advance implementation models, measures, and methods.  ...  Function dimensions help define the bridging factor and illustrate its purpose as it relates to EBP implementation.  ...  In addition to the proposed dimensions, the growing set of guidelines and recommendations for specifying and reporting implementation methods (e.g., use of implementation strategies and implementation  ... 
doi:10.1186/s13012-021-01099-y pmid:33794956 fatcat:nxhqg32huzefnkgj2tyxib3h3a

Automated implementation of complex distributed algorithms specified in the IOA language

Chryssis Georgiou, Nancy Lynch, Panayiotis Mavrommatis, Joshua A. Tauber
2009 International Journal on Software Tools for Technology Transfer (STTT)  
Thus, this work shows that it is possible to formally specify, prove correct, and implement complex distributed algorithms using a common formal methodology.  ...  best of our knowledge, these are the first complex, distributed algorithms implemented in an automated way that have been formally and rigorously proved correct.  ...  annotations yield specified values.  ... 
doi:10.1007/s10009-008-0097-7 fatcat:iytwelt3xvh4lnyy7bdqrqfsia

Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL

Judith Peters, Robert Wille, Rolf Drechsler
2014 2014 19th International Conference on Engineering of Complex Computer Systems  
existing SystemC implementation by a module triggering the desired clocks in the system.  ...  They provide formal descriptions that can be exploited to automatically generate initial implementations of a system e. g. in SystemC.  ...  Then, our approach adds one further module, a TimeController, to this implementation which handles the clock behavior specified in the CCSL and triggers the available clocks as desired.  ... 
doi:10.1109/iceccs.2014.24 dblp:conf/iceccs/PetersWD14 fatcat:7bjtbwpplzaxrdkffnwn74oqrq

Implementation of Compaction Algorithm for ATPG Generated Partially Specified Test Data

Vaishali Dhare, Usha Mehta
2013 International Journal of VLSI Design & Communication Systems  
In this paper the ATPG is implemented using C++. This ATPG is based on fault equivalence concept in which the number of faults gets reduced before compaction method.  ...  This is an instance of the line justification problem which deals with finding an assignment of PI values those results in a desired value setting on a specified line in the circuit.  ...  circuit netlist for all above concepts Figure 1 .Figure 2 . 12 Flow chart of ATPG Flow chart of Line justification Figure 3 . 3 Flow chart of error propagation Figure 5 . 5 Flow chart for partially specified  ... 
doi:10.5121/vlsic.2013.4108 fatcat:dxdlvrvcjbdw5lbvse45ppc5pi
« Previous Showing results 1 — 15 out of 2,194,566 results