The deployment of Formal Methods for Software Engineering, paved the way for a remarkably powerful (Mathematical) analysis at, each stage of the SW Development Process. Indeed, the Mathematics provides us with an adequate level of rigour, not only to precisely Specify & Design SW Systems, but also to meticulously reason about their Properties. This provides a very high level of confidence in the Correctness, Safety and Reliability of the final SW Product.
This talk begins with a survey of the various causes to the SW-Crisis and, hence, the crucial necessity of imposing Structuring & Uniformity upon the SW Specification & Design phases. Following, we lay the foundation to a particular “State-Based” Formal Method for (abstractly) modelling SW Systems in a meticulous and modular manner.
Dr. Moshe Deutsch had been affiliated with the Department of Computer Science, University of Essex (UK) for nearly 9 years (1998 – 2007); out of which, as a PhD Student & Graduate Teaching Assistant, a Full-Time Teaching Fellow and a Full-Time (Post Doctoral Programme) Research Officer. He worked closely with Prof. Martin C. Henson, Prof. Raymond Turner (et al. Essex University, UK) and Prof. Steve Reeves (Waikato University, New Zealand). His Research was situated in the area of Formal Methods for Software Engineering, emphasising the investigation of Operation Refinement and Data Refinement for Z specifications. His research led to 16 publications, out of which 4 journal publications and 1 book-chapter. Between 2007 and present, Dr. Deutsch has been pursuing an Industrial career: he worked for a number of companies on a variety of SW development projects, experiencing all the phases of the SW-Life-Cycle.