Codecharts: Roadmaps and blueprints for object-oriented programs

Acknowledgments

Many people deserve credit for making this book possible. First thanks go to Epameinondas Gasparis for all his diligent work and contributions over the years. Special thanks go to Yehuda Elkana who enlightened us; to Yoram Hirshfeld and Amiram Yehudai for their guidance in the initial stages of this project; and to Yossi Gil, in particular; for suggesting that LePUS can be used to model programs. Special thanks also go to Raymond Turner for helping us formulate the definitions and axioms. We also thank Rick Kazman, Peter Grogono, Kees Bleijenberg, and Ian Bayley for their feedback and David Lorenz for coming up with the idea of using triangles to model hierarchies.

We thank Christina Maniati for her permission to use her MSc dissertation as well as to our graduate students Olumide A. Iyaniwura, Gu Bo, Maple Tao Liang, Omololu Ayodeji, Dimitrios Fragkos, and Xu Yi, whose work contributed to the understanding and use of Codecharts. Thanks also go to all the graduate and undergraduate students who commented on early drafts of this manuscript.

This book is a product of research that was promoted in part by contributions received from a number of funding agencies: The Natural Sciences and Engineering Research Council of Canada (NSERC); The University of Essex, School of Computer Science and Electronic Engineering's Research Promotion Fund (RPF) and the Knowledge Transfer Innovation Fund (KTIF); Eshkol Fund, Israel Ministry of Science; and UK's Engineering and Physical ...