Connecting Discrete Mathematics and Software Engineering

Modern systems are critically dependent on software for their design and operation. The next generation of developers must be facile in the specification, design and implementation of dependable software using rigorous developmental processes. To help prepare this generation we have developed a teaching approach and materials that serve a two-fold purpose: promote an understanding and appreciation of the discrete mathematical structures (DM) that are the foundation of software engineering (SE) theory; and provide motivation and training of modern software development and analysis tools. Our teaching approach and materials form a two-course sequence establishing mastery of important SE areas: DM underlying modern SE theory (e.g., static analysis and proof); formal languages and their use (e.g., software specification languages); application of DM to SE (e.g., composition of theory and application for artifact development); and mathematics for advanced SE engineering needs (e.g., finite state machines and graph theory)