David Harel

  • Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.

    The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.

  • The STEM Pathway and Student Retention Nouv.

    This work introduces methods that aid in freshman retention (in the transition from high school and to remain in the university of origin) and orient them towards a successful career in science. Specific examples of successful approaches are given as well as detailed plans for how to engage these students. Pitfalls as well as success are described. In addition this work provides a detailed description of how to develop the students into a cohort that exhibits comradery. Three types of cohort form, those within the freshman class, those among the upperclassmen and those between the freshmen and upperclassmen. The program works because the social reality is that the peer mentor has a better repertoire with the first semester freshmen than the faculty or staff and assists with student success. Factors such as financial aid, policy, and support systems influence student success. In the sciences, students often struggle with the content and adjusting to the college experience. Research states that a mentorship program supports retention as well as enhances the student experience during college. This program creates a cohort group among the upperclassmen mentors and freshmen and provides leadership development for all involved.