Michael Hennell: Difference between revisions
Content deleted Content added
Corrections for accuracy |
m Moving from Category:Academic journal editors to Category:British academic journal editors using Cat-a-lot |
||
| (7 intermediate revisions by 7 users not shown) | |||
| Line 1: | Line 1: | ||
{{short description|British computer scientist (born 1940)}} |
|||
| ⚫ | Professor '''Michael A. Hennell''' (born 9 September 1940) is a |
||
{{Use dmy dates|date=April 2018}} |
|||
{{Use British English|date=April 2018}} |
|||
| ⚫ | |||
Michael Hennell was a Professor of [[Mathematical Sciences]], [[University of Liverpool]] in [[England]]. |
Michael Hennell was a Professor of [[Mathematical Sciences]], [[University of Liverpool]] in [[England]]. |
||
As part of his leading role in software testing, Hennell was a member of the editorial board of the journal ''[[Software Testing, Verification and Reliability]]'' (STVR), a major international journal in the field of software testing.<ref>[http://www3.interscience.wiley.com/journal/13635/home/EditorialBoard.html] Software Testing, Verification and Reliability, ''[[Software Testing, Verification and Reliability]]''</ref> |
As part of his leading role in software testing, Hennell was a member of the editorial board of the journal ''[[Software Testing, Verification and Reliability]]'' (STVR), a major international journal in the field of software testing.<ref>[https://archive.today/20130105194350/http://www3.interscience.wiley.com/journal/13635/home/EditorialBoard.html] Software Testing, Verification and Reliability, ''[[Software Testing, Verification and Reliability]]''</ref> |
||
Hennell's academic research was initially conducted in [[Nuclear physics]], resulting in the use of [[Computational science]] for addressing complex nuclear mathematics.<ref name="An effective Hamiltonian method for the solution of the Schrodinger equation. I. The one-dimensional problem">M.A. Hennell, ''An effective Hamiltonian method for the solution of the Schrodinger equation. I. The one-dimensional problem'', 1975 J. Phys. A: Math. Gen. 8 171-17</ref> Assessing the quality of the mathematical libraries on which this work depended lead Professor Hennell into the world of [[Software testing]],<ref name="An experimental testbed for numerical software. I. Fortran">M. A. Hennell, ''An experimental testbed for numerical software. {I}. {Fortran}'', The Computer Journal 21(4):333--336, @nov, 1978</ref><ref name="An experimental testbed for numerical software. II. ALGOL 68">M. A. Hennell and D. Hedley, ''An experimental testbed for numerical software. {II}. {ALGOL 68}'', The Computer Journal 22(1):53--56, @feb, 1979</ref><ref name="Towards More Advanced Testing Techniques">M.A. Hennell, M.R. Woodward and D Hedley, ''Towards More Advanced Testing Techniques'', Workshop on Reliable Software pp. 19-29., ed. by P. Raulefs, Hanser (Munchen-Wien) 1979 {{ISBN|3-446-12910-3}}</ref> specifically in the use of [[Static code analysis]] for quantifying the effectiveness of test data,<ref name="Quantifying the test effectiveness of Algol 68 programs">M.A. Hennell, D. Hedley and M.R. Woodward, ''Quantifying the Test Effectiveness of Algol 68 Programs'', Proceedings of the Strathclyde ALGOL 68 conference 1977, pp. 36 - 41, ISSN 0362-1340</ref> which led to the development of the [[Linear Code Sequence and Jump]] concept. |
Hennell's academic research was initially conducted in [[Nuclear physics]], resulting in the use of [[Computational science]] for addressing complex nuclear mathematics.<ref name="An effective Hamiltonian method for the solution of the Schrodinger equation. I. The one-dimensional problem">M.A. Hennell, ''An effective Hamiltonian method for the solution of the Schrodinger equation. I. The one-dimensional problem'', 1975 J. Phys. A: Math. Gen. 8 171-17</ref> Assessing the quality of the mathematical libraries on which this work depended lead Professor Hennell into the world of [[Software testing]],<ref name="An experimental testbed for numerical software. I. Fortran">M. A. Hennell, ''An experimental testbed for numerical software. {I}. {Fortran}'', The Computer Journal 21(4):333--336, @nov, 1978</ref><ref name="An experimental testbed for numerical software. II. ALGOL 68">M. A. Hennell and D. Hedley, ''An experimental testbed for numerical software. {II}. {ALGOL 68}'', The Computer Journal 22(1):53--56, @feb, 1979</ref><ref name="Towards More Advanced Testing Techniques">M.A. Hennell, M.R. Woodward and D Hedley, ''Towards More Advanced Testing Techniques'', Workshop on Reliable Software pp. 19-29., ed. by P. Raulefs, Hanser (Munchen-Wien) 1979 {{ISBN|3-446-12910-3}}</ref> specifically in the use of [[Static code analysis]] for quantifying the effectiveness of test data,<ref name="Quantifying the test effectiveness of Algol 68 programs">M.A. Hennell, D. Hedley and M.R. Woodward, ''Quantifying the Test Effectiveness of Algol 68 Programs'', Proceedings of the Strathclyde ALGOL 68 conference 1977, pp. 36 - 41, ISSN 0362-1340</ref> which led to the development of the [[Linear Code Sequence and Jump]] concept. |
||
| Line 16: | Line 19: | ||
{{DEFAULTSORT:Hennell, Michael}} |
{{DEFAULTSORT:Hennell, Michael}} |
||
[[Category:1940 births]] |
[[Category:1940 births]] |
||
| ⚫ | |||
[[Category:Academics of the University of Liverpool]] |
[[Category:Academics of the University of Liverpool]] |
||
[[Category:British technology company founders]] |
|||
[[Category:English computer scientists]] |
[[Category:English computer scientists]] |
||
[[Category:Software engineers]] |
|||
[[Category:Software testing people]] |
[[Category:Software testing people]] |
||
| ⚫ | |||
[[Category:Living people]] |
[[Category:Living people]] |
||
Latest revision as of 12:44, 13 April 2024
Professor Michael A. Hennell (born 9 September 1940) is a British computer scientist who has made leading contributions in the field of software testing.[1]
Michael Hennell was a Professor of Mathematical Sciences, University of Liverpool in England.
As part of his leading role in software testing, Hennell was a member of the editorial board of the journal Software Testing, Verification and Reliability (STVR), a major international journal in the field of software testing.[2]
Hennell's academic research was initially conducted in Nuclear physics, resulting in the use of Computational science for addressing complex nuclear mathematics.[3] Assessing the quality of the mathematical libraries on which this work depended lead Professor Hennell into the world of Software testing,[4][5][6] specifically in the use of Static code analysis for quantifying the effectiveness of test data,[7] which led to the development of the Linear Code Sequence and Jump concept.
In 1975 Professor Hennell founded Liverpool Data Research Associates Ltd. (LDRA) to commercialize the software test-bed designed to analyse numerical software.
References
[edit]- ^ Michael A. Hennell at DBLP Bibliography Server
- ^ [1] Software Testing, Verification and Reliability, Software Testing, Verification and Reliability
- ^ M.A. Hennell, An effective Hamiltonian method for the solution of the Schrodinger equation. I. The one-dimensional problem, 1975 J. Phys. A: Math. Gen. 8 171-17
- ^ M. A. Hennell, An experimental testbed for numerical software. {I}. {Fortran}, The Computer Journal 21(4):333--336, @nov, 1978
- ^ M. A. Hennell and D. Hedley, An experimental testbed for numerical software. {II}. {ALGOL 68}, The Computer Journal 22(1):53--56, @feb, 1979
- ^ M.A. Hennell, M.R. Woodward and D Hedley, Towards More Advanced Testing Techniques, Workshop on Reliable Software pp. 19-29., ed. by P. Raulefs, Hanser (Munchen-Wien) 1979 ISBN 3-446-12910-3
- ^ M.A. Hennell, D. Hedley and M.R. Woodward, Quantifying the Test Effectiveness of Algol 68 Programs, Proceedings of the Strathclyde ALGOL 68 conference 1977, pp. 36 - 41, ISSN 0362-1340
