Toward a task model of concurrent software maintenance


This paper describes a first step toward developing a methodology for the maintenance of concurrent software that incorporates best practices in design and verification. Specifically, we describe our plan for using the think-aloud method to study the strategies, goals, and intentions of contemporary practitioners engaged in the maintenance of concurrent software. The method will yield a task model that details the specific tasks practitioners undertake while so engaged. Initially, we will conduct the study with graduate students in a formal-methods course at Michigan State University. Copyright 2007 ACM.

Publication Title

Proc. - 1st ACM Int. Workshop on Empirical Assessment of Software Engineering Languages and Technologies, WEASELTech 2007, Held with the 22nd IEEE/ACM Int. Conf. Automated Software Eng., ASE 2007