A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.
Quickly master architectural programming concepts, skills, andtechniques In the essential discipline of architectural programming, the ideasof philosophy, sociology, anthropology, psychology, and historyfind their focus in the realities of site conditions, budgets, andfunctionality. Author Edith Cherry vividly demonstrates in thisinspiring tutorial that the programming process not only helpsarchitects avoid the endless design revisions occurring in mostprojects, but that it is also the key to designing for optimal formand function. Programming for Design lets you rapidly acquire the knowledge andskills needed to successfully program a moderate-size space. Ratherthan simply describe basic principles and practices, thisstraightforward guide helps you master architectural programming byactually doing it. Professor Cherry identifies the central issues involved anddescribes the skills needed to work with clients to identifyproblems to be solved by a design effort. Emphasizing designing forpeople, she offers proven strategies and techniques for goalsetting, information gathering and analysis, concept development,program synthesis, and communicating with clients. The book is also devoted to practical applications. The authorwalks you step-by-step through a project of your own choosing,providing numerous examples and four case studies within each stepthat vividly illustrate how to effectively gather, process, andcommunicate information. Programming for Design features more than 200 supportingillustrations, diagrams, and sidebars appearing throughout thetext, reproducing pithy sayings by such far-flung figures as Platoand Yogi Berra, Einstein and Lao Tzu, that help relate theprogramming process to other disciplines.
Change is a constant in today's organizations. Leaders, managers, and employees at all levels must understand both how to implement planned changed and effectively handle unexpected change. The Fifth Edition of the Organization Change: Theory and Practice provides an eye-opening exploration into the nature of change by presenting the latest evidence-based research to discuss a range of theories, models, and perspectives on organization change. Bestselling author, W. Warner Burke, skillfully connects theory to practice with modern cases of effective and ineffective organization change, recent examples of transformational leadership and planned and revolutionary change, and best practices to successfully influence change. This fully-updated new edition also includes a new chapter on healthcare and government organizations, offering practical applications for non-profit organizations.
For many scholars, the study of community and community development is at a crossroads. Previously dynamic theories appear not to have kept pace with the major social changes of our day. Given our constantly shifting social reality we need new ideas and research that pushes the boundaries of our extant community theories. Theory, Practice, and Community Development stretches the traditional boundaries and applications of well-established community development theory, and establishes new theoretical approaches rooted in new disciplines and new perspectives on community development. Expanded from a special issue of the journal Community Development, Theory, Practice, and Community Development collects previously published and widely cited essays, as well as new theoretical and empirical research in community development. Compiled by the editors of Community Development, the essays feature topics as varied as placemaking, democratic theory and rural organizing. Theory, Practice, and Community Development is vital for scholars and practitioners coming to grips with the rapidly changing definition of community.
This completely revised edition builds on the framework provided by the earlier text. It traces the history of development communication, presents and critiques diverse approaches and their proponents, and provides ideas and models for development communication in the new century.
Canadian regional development today involves multiple actors operating within nested scales from local to national and even international levels. Recent approaches to making sense of this complexity have drawn on concepts such as multi-level governance, relational assets, integration, innovation, and learning regions. These new regionalist concepts have become increasingly global in their formation and application, yet there has been little critical analysis of Canadian regional development policies and programs or the theories and concepts upon which many contemporary regional development strategies are implicitly based. This volume offers the results of five years of cutting-edge empirical and theoretical analysis of changes in Canadian regional development and the potential of new approaches for improving the well-being of Canadian communities and regions, with an emphasis on rural regions. It situates the Canadian approach within comparative experiences and debates, offering the opportunity for broader lessons to be learnt. This book will be of interest to policy-makers and practitioners across Canada, and in other jurisdictions where lessons from the Canadian experience may be applicable. At the same time, the volume contributes to and updates regional development theories and concepts that are taught in our universities and colleges, and upon which future research and analysis will build.
This comprehensive text examines the unique characteristics of sexual offenses and the resulting laws that pertain specifically to them, including the causes and treatment of sexual offenses as well as the policy implications of research outcomes. Sexual offenders are often treated differently than other offenders (by both the community and the criminal justice system) as a result of public scorn and recidivism. This distinctive book answers the call for thorough, research-based information on this inherently controversial subject. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.
The Handbook of Program Development for Health Behavior Research & Practice is intended to take the reader from program development theory through program activity analysis and selection, to immediate impact studies, and intermediate and long-term program outcome measurement.
For introductory courses in Software Engineering. This introduction to software engineering and practice addresses both procedural and object-oriented development. The book applies concepts consistently to two common examples -- a typical information system and a real-time system. It combines theory with real, practical applications by providing an abundance of case studies and examples from the current literature. This revision has been thoroughly updated to reflect significant changes in software engineering, including modeling and agile methods.
This collection of essays examines the role of marketing in the recruitment and retention of community college students. First, Philip Kotler and Leslie A. Goldgehn define the marketing process and assess its potential benefits. Richard C. Richardson, Jr., and Donald S. Doucette question the effectiveness of marketing in the community college. Callie Foster Struggs considers the importance of community impact studies. Anne Mulder-Edmondson proposes the inclusion of the entire college community in the development of a marketing plan. The promotion of a marketing plan via the printed media is described by Barbara A. W. Smith, while Robert H. Gaffner examines uses of the electronic media in marketing. The process of identifying target populations through segmentation is discussed by William A. Keim. Wallace F. Cohen and Jeanne Atherton describe the successful marketing of an afternoon program. Edwin R. Bailey explores the potential for coordination with universities in the development of a marketing plan. Don G. Creamer and E. G. Akins examine the effects of marketing on student development activities. Marybelle C. Keim reviews strategies for student retention. James F. Gollattscheck poses some potentially negative effects of marketing and means to avoid them. Gunder Myran and Mark Ralph evaluate marketing practices in community colleges. Finally, Donna Dzierlenga reviews the ERIC literature dealing with community college marketing. (HB)
A major reason complex programs are so difficult to evaluate is that the assumptions that inspire them are poorly articulated. Stakeholders of such programs are often unclear about how the change process will unfold. Thus, it is so difficult to reasonably anticipate the early and midterm changes that need to happen in order for a longer-term goalto be reached. The lack of clarity about the “mini-steps” that must be taken to reach a long-term outcome not only makes the task of evaluating a complex initiative challenging, but reduces the likelihood that all of the important factors related to the long term goal will be addressed. Most of the resources that have attempted to address this dilemma have been popularized as theory of change or sometimes program theory approaches. Although these approaches emphasize and elaborate the sequence of changes/mini steps that lead to the long-term goal of interest and the connections between program activities and outcomes that occur at each step of the way, they do not do enough to clarify how program managers or evaluators should deal with assumptions. Assumptions, the glue that holds all the pieces together, remain abstract and far from applicable. In this book the author tackles this important assumptions theme head-on-covering a breadth of ground from the epistemology of development assumptions, to the art of making logical assumptions as well as recognizing, explicit zing and testing assumptions with in an elaborate program theory from program design, implementation, monitoring and evaluation.