Abstract

Program slicing is a software analysis technique conceived of and developed in the late 70s and early 80s by the late Mark Weiser to remove code from a program that does not affect a given computation. A program slice is any selection of program statements that maintains the same behavior as the original program at a specific point while considering a particular set of variables, known as the slicing criterion. This technique permits a software engineer to focus on an immediate computation and safely ignore statements and variables that do not contribute to that focus. We will briefly review the basics of program slicing and some of the myriad of related techniques and applications that have been developed over the years to tackle the problems that software engineers confront while sitting at their workstations.

About the Speaker

Dr. Keith Gallagher's research in software engineering is focused on a core principle: "There is no such thing as software development; there is only maintenance on the empty system". This philosophy reframes all software engineering as a continuous process of evolution and maintenance, with his work focused on assisting "programmers in the trenches".

Suzanne Kozaitis has been the Library Liaison for Computer Sciences at Florida Tech for over 20 years. As Collection Development & Analysis Librarian at the Evans, she leads the strategic planning and financial stewardship of the library’s resource budget, aligning acquisitions with institutional goals and faculty needs. Her expertise in license negotiation, vendor relations, and data-driven collection assessment has shaped the university’s forward-thinking and user-centered library collection, supporting the evolving academic landscape.