Modeling and Computations in Dynamical S by