Primary tabs

Most recent publications

J. E. Hannay

Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus

University of Edinburgh, Scotland, 2001.
PhD Thesis
2001
View
J. E. Hannay

Abstraction Barriers in Equational Proof

In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Proceedings, refereed
1998
View

Selected publications

J. E. Hannay

Benefit/Cost-Driven Software Development - with Benefit Points and Size Points

Cambridge, UK: Springer, 2021.
Book
2021
View
J. E. Hannay, H. C. Benestad and K. Strand

Earned Business Value Management – See that You Deliver Value to Your Customer –

IEEE Software 34, no. 4 (2017): 58-70.
Journal Article
2017
View
J. E. Hannay, H. C. Benestad and K. Strand

Agile Uncertainty Assessment for Benefit Points and Story Points

IEEE Software 36, no. 4 (2019): 50-62.
Journal Article
2019
View
J. E. Hannay and E. Gjørven

Leveraging Network-Centric Strategic Goals in Capabilities

Journal of Military Studies 10 (2021): 90-104.
Journal Article
2021
View

Students under supervision

Available Master's topics

Find publication

Status

Publication type

Year published

Export 3 results:
2001

PhD theses

J. E. Hannay

Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus

University of Edinburgh, Scotland, 2001.
Status: Published
1998

Proceedings, refereed

J. E. Hannay

Abstraction Barriers in Equational Proof

In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published

Technical reports

J. E. Hannay

Referential Opacity in Equational Reasoning

University of Edinburgh, 1998.
Status: Published