Towards an Explicit Intentional Semantics for Evolving Software
Kim Mens · 1998
The subject of my PhD work is the study of software engineers' intentions and the importance of using the information provided by such intentions during the software engineering (SE) process. More specifically, we will study how explicit software intentions can contribute to a better understanding of the software, and how automated reasoning about explicit software intentions can facilitate many software engineering activities, and software evolution in particular.