4
Publications
2K
Citations
4
H-Index
1976
Active since
Affiliations
Indiana University Bloomington(Current)
Don McKay is an author at Indiana University Bloomington specializing in formal methods, program analysis, and software testing.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringProgram Comprehension
Publications per year
1976–1997
4
4
KQML as an agent communication language
Tim Finin, Richard Fritzson, Don McKay et al. · 1994 · 1.5K citations · Full text
The DARPA knowledge sharing effort: progress report
Ramesh S. Patil, Richard Fikes, Peter F. Patel‐Schneider et al. · 1997 · 285 citations
Rows per page
1–4 of 4