Concepedia

Peter Kearney

PK

2

Publications

34

Citations

2

H-Index

1995

Active since

Affiliations

The University of Queensland(Current)

Peter Kearney is an author at The University of Queensland specializing in formal verification, system software, and engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

1995–1997

2

Publications

2

COGITO: A METHODOLOGY AND SYSTEM FOR FORMAL SOFTWARE DEVELOPMENT

Anthony Bloesch, Edmund Kazmierczak, Peter Kearney et al. · International Journal of Software Engineering and Knowledge Engineering · 1995 · 21 citations

Software Maintenance, Engineering, Software Engineering +20

A formal method for building concurrent real-time software

Colin Fidge, Peter Kearney, Mark Utting · IEEE Software · 1997 · 13 citations

Engineering, Concurrent Real-time Programs, Software Engineering +18

Rows per page

1–2 of 2