Russell J. Abbott is an author at The Aerospace Corporation specializing in system software, automated reasoning, and engineering.
Top concepts
SemanticsEngineeringSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware Engineering
Publications per year
1983–1987
2
2
Program design by informal English descriptions
Russell J. Abbott · Communications of the ACM · 1983 · 347 citations · Full text
Russell J. Abbott · Communications of the ACM · 1987 · 57 citations · Full text
Rows per page
1–2 of 2