Symbolic Bounded Conformance Checking of Model Programs

Author(s):  
Margus Veanes ◽  
Nikolaj Bjørner
2007 ◽  
Author(s):  
Sally M. Hage ◽  
Robert Lim

2020 ◽  
pp. 101685
Author(s):  
Boudewijn F. van Dongen ◽  
Johannes De Smedt ◽  
Claudio Di Ciccio ◽  
Jan Mendling

Author(s):  
Ronny Seiger ◽  
Francesca Zerbato ◽  
Andrea Burattin ◽  
Luciano Garcia-Banuelos ◽  
Barbara Weber

2004 ◽  
Vol 29 (1) ◽  
pp. 31-36
Author(s):  
Frank Ainsworth

At the present time there is a need for a new generation of programs to address the needs of ‘at risk’ children and families. This is an issue that is exercising the minds of service planners in both government and non-government community service organisations. This need arises from the fact that many existing programs have yet to be rigorously evaluated and are of questionable effectiveness. This lack of evidence of effectiveness does not sit well in the current climate of accountability. It also runs contrary to the increasingly strident calls for evidence based practice.Many new programs arrive in Australia from the US as this country is often the source of program innovation as illustrated by the importation in the 1980s and 1990s of family preservation and family reunification programs. In the US, promotion of ‘model programs' has taken another step and a systematic effort at program replication is now in evidence. The question is, how might model programs from overseas be successfully replicated in Australia? And what is required, if anything, to replicate these models effectively taking account of our different cultural traditions?


2021 ◽  
pp. 111116
Author(s):  
André de S. Landi ◽  
Daniel San Martín ◽  
Bruno M. Santos ◽  
Warteruzannan S. Cunha ◽  
Rafael S. Durelli ◽  
...  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document