Judy A. Townley - Concepedia

Author

Judy A. Townley

Also Known As

J. A. Townley, J.A. Townley, Judy A. Townley

Publications

216

Citations

H-Index

Concepts

All Affiliations

Judy A. Townley is an author at Harvard University specializing in formal methods, computer science, and software analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	207
2	Computer Science	4	4	207
3	Systems Engineering	2	2	147
4	Business	1	1	22
5	Program Evaluation	1	1	41

Judy A. Townley

Publications

207

Citations

H-Index

Page 1

	Year	Citations
Symbolic Evaluation and the Analysis of Programs Thomas E. Cheatham, Glenn Holloway, Judy A. Townley IEEE Transactions on Software Engineering EngineeringVerificationSoftware EngineeringEvaluation StrategySoftware Analysis	1979	106
Program refinement by transformation Thomas E. Cheatham, Glenn Holloway, Judy A. Townley International Conference on Software Engineering Software MaintenanceEngineeringProgram MaintenanceSoftware EngineeringProgram Refinement	1981	41
A system for program refinement Thomas E. Cheatham, Judy A. Townley, Glenn Holloway International Conference on Software Engineering Software MaintenanceEngineeringStepwise RefinementVerificationSoftware Engineering	1979	38
Symbolic evaluation of programs Thomas E. Cheatham, Judy A. Townley Software MaintenanceSoftware Development PracticeEngineeringSoftware SystemsSoftware Studies	1976	22

Page 1