Concepedia

J. J. Horning

JJ

26

Publications

2.4K

Citations

21

H-Index

1971

Active since

Affiliations

University of Toronto(Current)

Palo Alto Research Center

University of Maryland, College Park

Digital Wave (United States)

J. J. Horning is an author at University of Toronto specializing in engineering, formal methods, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware DesignSoftware EngineeringFormal VerificationVerificationSystem Software

Publications per year

1971–2005

26

Publications

26

The algebraic specification of abstract data types

John V. Guttag, J. J. Horning · Acta Informatica · 1978 · 518 citations

Engineering, Data Type, Automated Reasoning +6

Report on the programming language Euclid

Butler Lampson, J. J. Horning, Ralph L. London et al. · ACM SIGPLAN Notices · 1977 · 383 citations · Full text

Engineering, Software Engineering, Programming Language Euclid +16

The Larch Family of Specification Languages

John V. Guttag, J. J. Horning, J.M. Wing · IEEE Software · 1985 · 278 citations

Engineering, Software Engineering, Software Analysis +19

Wikipedia risks

Peter J. Denning, J. J. Horning, David Lorge Parnas et al. · Communications of the ACM · 2005 · 210 citations

Abstract Object Theory

Formal specification as a design tool

John V. Guttag, J. J. Horning · 1980 · 120 citations · Full text

Engineering, Verification, Software Engineering +17

Rows per page

1–5 of 26