'Black box view' diaporamas de présentation

CSC450 Software Engineering

870 views • 73 slides

Drawing policy lessons from RCTs: When to generalize and when not to

Drawing policy lessons from RCTs: When to generalize and when not to. Rachel Glennerster J-PAL and IGC London School of Economics, June 3, 2014. The challenge. Policy makers often need to make decisions without the luxury of all the evidence they might want

315 views • 18 slides

Modular Refinement of Hierarchic Reactive Machines

Modular Refinement of Hierarchic Reactive Machines. Rajeev Alur Radu Grosu University of Pennsylvania www.cis.upenn.edu/~alur,grosu/. Results. Visual language for hierarchic reactive machines hierarchic modes, mode sharing, group transitions, history, mixed and/or hierarchies.

248 views • 15 slides

Modular Refinement of Hierarchic Reactive Machines

Modular Refinement of Hierarchic Reactive Machines. Rajeev Alur Radu Grosu University of Pennsylvania www.cis.upenn.edu/~alur,grosu/. Results. Visual language for hierarchic reactive machines hierarchic modes, mode sharing, group transitions, history, mixed and/or hierarchies.

224 views • 15 slides