Primary tabs

Most recent publications

S. Bruvoll, J. E. Hannay, G. K. Svendsen, M. L. Asprusten, K. M. Fauske, V. B. Kvernelv, R. A. Løvlid and J. I. Hyndøy

Simulation-Supported Wargaming for Analysis of Plans

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
View
J. E. Hannay, K. Brathen and J. I. Hyndøy

On How Simulations Can Support Adaptive Thinking in Operations Planning

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
View
J. E. Hannay

Specification Refinement in System F, the Higher-Order Case

In Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Proceedings, refereed
1999
View
J. E. Hannay

Specification Refinement With System F

In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Proceedings, refereed
1999
View

Selected publications

J. E. Hannay, H. C. Benestad and K. Strand

Benefit Points – The Best Part of the Story

IEEE Software 34, no. 3 (2017): 73-85.
Journal Article
2017
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

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 5 results:
2015

Proceedings, refereed

S. Bruvoll, J. E. Hannay, G. K. Svendsen, M. L. Asprusten, K. M. Fauske, V. B. Kvernelv, R. A. Løvlid and J. I. Hyndøy

Simulation-Supported Wargaming for Analysis of Plans

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
J. E. Hannay, K. Brathen and J. I. Hyndøy

On How Simulations Can Support Adaptive Thinking in Operations Planning

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
1999

Proceedings, refereed

J. E. Hannay

Specification Refinement in System F, the Higher-Order Case

In Recent Trends in Data Type Specification, Selected papers of the 14th International Workshop on Algebraic Development Techniques (WADT'99), Chateau de Bonas, France, LNCS volume 1827. Lecture Notes in Computer Science. Springer-Verlag, 1999.
Status: Published
J. E. Hannay

Specification Refinement With System F

In Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683. Lecture Notes in Computer Science. Springer-Verlag, 1999.
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