Publications

J. E. Hannay. Software Effort Estimation---A Matter of Skill or Environment?, Submitted to IEEE Transactions on Software Engineering, 2012.

H. C. Benestad and J. E. Hannay. Does the Prioritization Technique Affect Stakeholders' Selection of Essential Software Product Features?, In: Proceedings of IEEE International Conference on Empirical Software Engineering and Measurement (ESEM 2012), 2012.

M. T. Sletholt, J. E. Hannay, D. Pfahl, and H. P. Langtangen. What do We Know About Agile Practices in Scientific Software Development?, Accepted for publication in Computing in Science and Engineering, 2011.

H. C. Benestad and J. E. Hannay. A Comparison of Model-based and Judgment-based Release Planning in Incremental Software Projects, In: ACM/IEEE International Conference on Software Engineering, ed. by , pp. 766-775, ACM New York, NY, USA, 2011.

G. Bergersen, J. E. Hannay, D. Sjøberg, T. Dybå, and A. Karahasanovic. Inferring Skill from Tests of Programming Performance: Combining Time and Quality, In: Proc. 5th Int'l Symp.Empirical Software Engineering and Measurement (ESEM), ed. by , pp. 305 - 314 , IEEE Computer Society, 2011.

M. T. Sletholt, J. E. Hannay, D. Pfahl, H. C. Benestad, and H. P. Langtangen. A Literature Review of Agile Practices and Their Effects in Scientific Software Development, In: Proceedings of SE-CSE11, ed. by J. Carver, 2011.

J. E. Hannay. Stort & smidig eller stort & tungt, Talk given at Software 2011, Oslo, 2011.

D. Bell, T. Hall, J. E. Hannay, D. Pfahl, and S. T. Acuña. Software Engineering Group Work – Personality, Patterns and Performance, In: Special Interest Group of the ACM on Management Information Systems and Special Interest Group of the ACM on Computer Personnel Research, ed. by J. Downey and D. Joseph, pp. 43-47, ACM, 2010.

G. Bergersen and J. E. Hannay. Detecting Learning and Fatigue Effects by Inspection of Person-Item Residuals, In: Probabilistic models for measurement in education, psychology, social science and health, ed. by Tine Nielsen and Svend Kreiner and John Brodersen, Copenhagen Business School and the University of Copenhagen, 2010.

J. E. Hannay and H. C. Benestad. Perceived Productivity Threats in Large Agile Development Projects, In: International Symposium on Empirical Software Engineering and Measurement (ESEM 2010), ed. by G. Succi, M. Morisio and N. Nagappan, ACM, 2010.

J. E. Hannay. Personality, Intelligence, and Expertise: Impacts on Software Development, In: Making Software. What Really Works, and Why We Believe It, ed. by Greg Wilson and Andy Oram. O'Reilly, chap. 6, pp. 79-110, 2010.

M. T. Sletholt, J. E. Hannay, H. P. Langtangen, and D. Pfahl. Making Modern Scientific Software Development Explicitly Agile, In: The Changing Dynamics of Scientific Collaborations, 2010.

J. E. Hannay. Expertise in Planning & Estimation: What Is It and Can One Improve It?, Talk given at the 2010 PREPARE Industry Seminar, October 15, 2010, 2010.

J. E. Hannay. Kontrakter og prosjektstyring i store, smidige IT-prosjekter (Contracts and Project Management in Large, Agile Development Projects), Talk given at "Agile Project Management" seminar at The Norwegian Center of Project Management, Trondheim, May 31, 2010.

J. Petersen, J. E. Hannay, and H. C. Benestad. Forskning på PERFORM Hva har vi funnet ut?, Talk given at "Agile fagdag" Statens Pensjonskasse August 27, 2010.

J. Hannay, E. Arisholm, H. Engvik, and D. Sjøberg. Effects of Personality on Pair Programming, Transactions on Software Engineering 36(1):61--80, 2009.

J. E. Hannay, T. Dybå, E. Arisholm, and D. I. K. Sjøberg. The Effectiveness of Pair-Programming: A Meta-Analysis, Information and Software Technology 55(7):1110-1122, 2009.

V. B. Kampenes, T. Dybå, J. E. Hannay, and D. I. K. Sjøberg. A systematic review of quasi-experiments in software engineering, Information & Software Technology 51(1):71-82, 2009.

J. E. Hannay, H. P. Langtangen, C. MacLeod, D. Pfahl, J. Singer, and G. Wilson. How Do Scientists Develop and Use Scientific Software?, In: Software Engineering for Computational Science and Engineering , ed. by Jeff Carver, pp. 1-8, IEEE Computer Society, 2009.

H. J. Rognerud and J. E. Hannay. Challenges in Enterprise Software Integration: An Industrial Study using Repertory Grids, In: Empirical Software Engineering and Measurement (ESEM) , ed. by J. Carver, IEEE, 2009.

T. Walle and J. E. Hannay. Personality and the Nature of Collaboration in Pair Programming, In: Empirical Software Engineering and Measurement (ESEM), ed. by J. Carver, IEEE, 2009.

J. E. Hannay and M. Jørgensen. The Role of Artificial Design Elements in Software Engineering Experiments, Transactions on Software Engineering 34(2):242--259, 2008.

D. I. K. Sjøberg, T. Dybå, B. C. D. Anda, and J. E. Hannay. Building Theories in Software Engineering, In: Advanced Topics in Empirical Software Engineering, ed. by Forrest Shull, Janice Singer, Dag I.K. Sjøberg. Springer-Verlag London, chap. 12, pp. 312--336, 2008.

T. Dybå, E. Arisholm, D. Sjøberg, J. E. Hannay, and F. Shull. Are Two Heads Better than One? On the Effectiveness of Pair Programming, IEEE Software 24(6):12-15, 2007.

J. E. Hannay, D. I. K. Sjøberg, and T. Dybå. A Systematic Review of Theory Use in Software Engineering Experiments, IEEE Transactions on Software Engineering 33(2):87--107, 2007.

V. B. Kampenes, T. Dybå, J. E. Hannay, and D. I. K. Sjøberg. A Systematic Review of Effect Size in Software Engineering Experiments, Information and Software Technology 49(11-12):1073-1086, 2007.

D. I. K. Sjøberg, J. E. Hannay, O. Hansen, V. B. Kampenes, A. Karahasanovic, Nils-K. Liborg, and A. C. Rekdal. A Survey of Controlled Experiments in Software Engineering, IEEE Transactions on Software Engineering 31(9):733-753, 2005.

J. E. Hannay. Empirically-Based Theories for Software Engineering, Talk given at SINTEF ICT Oslo, 2004.

J. E. Hannay. Controlled Experiments in Software Engineering, Talk given at SINTEF ICT Oslo, 2004.

J. Hannay. Axiomatic Criteria for Quotients and Subobjects at Higher Order, In: Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719, pp. 903-917, Springer-Verlag. Lecture Notes in Computer Science, 2003.

J. Hannay. Abstraction Barrier-Observing Relational Parametricity, In: Typed Lambda Calculi and Applications. Proceedings of TLCA, 6th International Conference, Valencia, Spain, LNCS volume 2701, pp. 135-152, Springer-Verlag. Lecture Notes in Computer Science, 2003.

J. Hannay, S.-Y. Katsumata, and D. T. Sannella. Semantic and Syntactic Approaches to Simulation Relations, In: Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747, pp. 68-91, Springer-Verlag. Lecture Notes in Computer Science, 2003.

J. E. Hannay. System F – Relational Parametricity and Refinement, Three lectures given at the University of Oslo, 2003.

J. Hannay. Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus, PhD thesis, Laboratory for Foundations of Computer Science, Division of Informatics, University of Edinburgh, Scotland, U.K, 2001.

J. Hannay. A Higher-Order Simulation Relation for System F, In: Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784, pp. 130-145, Springer-Verlag. Lecture Notes in Computer Science, 2000.

J. 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, pp. 162-181, Springer-Verlag. Lecture Notes in Computer Science, 1999.

J. Hannay. Specification Refinement with System F, In: Computer Science Logic, Proceedings of CSL'99, Madrid, Spain, LNCS volume 1683, pp. 530-545, Springer-Verlag. Lecture Notes in Computer Science, 1999.

J. Hannay. Abstraction Barriers in Equational Proof, In: Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548, pp. 196-213, Springer-Verlag. Lecture Notes in Computer Science, 1998.

J. Hannay. Referential Opacity in Equational Reasoning, LFCS, Division of Informatics, University of Edinburgh, 1998.

J. Hannay. Relative Equational Specification and Semantics, LFCS, Department of Computer Science, University of Edinburgh, 1997.