J. J. Horning - Concepedia

Author

J. J. Horning

University of Toronto

Also Known As

Horning, Jim, J. Horning, J. J. Horning, J.J. Horning, Jim Horning

Publications

3.2K

Citations

H-Index

Concepts

All Affiliations

University of Toronto Palo Alto Research Center University of Maryland, College Park Digital Wave (United States)Xerox (France)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	21	2K
2	Language Studies	7	7	553
3	Computer Engineering	6	6	598
4	Education	1	1	32
5	Management	1	1	14

J. J. Horning

Publications

2.4K

Citations

H-Index

Page 1

	Year	Citations
The algebraic specification of abstract data types John V. Guttag, J. J. Horning Acta Informatica EngineeringData TypeAutomated ReasoningType TheoryFormal Methods	1978	518
Report on the programming language Euclid Butler Lampson, J. J. Horning, Ralph L. London, ACM SIGPLAN Notices EngineeringSoftware EngineeringProgramming Language EuclidSoftware AnalysisPalo Alto	1977	383
The Larch Family of Specification Languages John V. Guttag, J. J. Horning, J.M. Wing IEEE Software EngineeringSoftware EngineeringSoftware AnalysisLanguage ConstructSyntax	1985	278
Wikipedia risks Peter J. Denning, J. J. Horning, David Lorge Parnas, Communications of the ACM Abstract Object Theory	2005	210
Formal specification as a design tool John V. Guttag, J. J. Horning EngineeringVerificationSoftware EngineeringArchitecture SpecificationSoftware Analysis	1980	120
Proof rules for the programming language Euclid Raiph L. London, John V. Guttag, J. J. Horning, Acta Informatica EngineeringAutomated ReasoningVerificationFormal MethodsProof Assistant	1978	116
Report on the larch shared language John V. Guttag, J. J. Horning Science of Computer Programming SyntaxLanguage DocumentationShared MemoryComputational LinguisticsLinguistics	1986	87
Notes on the design of Euclid Gerald J. Popek, J. J. Horning, Butler Lampson, ACM SIGOPS Operating Systems Review Program CheckingEngineeringGeometryVerificationSoftware Engineering	1977	74
Language design for programming reliability John D. Gannon, J. J. Horning IEEE Transactions on Software Engineering Software MaintenanceSoftware Reliability TestingEngineeringVerificationSoftware Engineering	1975	72
Software Hut: A Computer Program Engineering Project in the Form of a Game J. J. Horning, David B. Wortman IEEE Transactions on Software Engineering Software MaintenanceSmall Software HouseEngineeringSoftware EngineeringSoftware Engineering Education	1977	63

Page 1