Designing documentation to compensate for delocalized plans
Communications of the ACM
Concurrent programming: principles and practice
Concurrent programming: principles and practice
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Concurrent Programming in Java: Design Principles and Patterns
Concurrent Programming in Java: Design Principles and Patterns
Human Problem Solving
Questions programmers ask during software evolution tasks
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Hi-index | 0.00 |
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.