A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts

Abstract

In 1994, ACM SIGSOFT Software Engineering Notes (SEN), courtesy of Will Tracz, SEN Editor at the time, published a 48- page special feature on RESOLVE: a combined specification and programming language with a design discipline to facilitate construction of formally verified component-based software. In the quarter-century since, several PhD dissertations from members of the RESOLVE/Reusable Software Research Group (RSRG) have explored a variety of topics in this area. They range across fundamental software engineering and formal methods research, practical adaptations, software engineering education, and tool development. This article summarizes key contributions of these dissertations in a way that is accessible to researchers and practitioners in software engineering. The dissertations are summarized in chronological order. Some of the paragraphs below are paraphrased or taken nearly verbatim from abstracts of the works themselves, with a few terminological updates and added connections to current research.