BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
D.Hedley I.J.Riddell
Talks about:
softwar (3) techniqu (1) program (1) thirti (1) infeas (1) experi (1) effect (1) comput (1) assess (1) verif (1)

Person: Michael A. Hennell

DBLP DBLP: Hennell:Michael_A=

Contributed to:

TAP 20082008
ESEC 19871987
ICSE 19851985
ICSE 19841984

Wrote 4 papers:

TAP-2008-Hennell #experience #verification
The First Thirty Years: Experience with Software Verification (MAH), pp. 1–3.
ESEC-1987-HennellHR #automation #embedded #realtime #testing
Automated Testing Techniques for Real-Time Embedded Software (MAH, DH, IJR), pp. 244–253.
ICSE-1985-HedleyH #source code
The Causes and Effects of Infeasible Paths in Computer Programs (DH, MAH), pp. 259–267.
ICSE-1984-HennellHR #tool support
Assessing a Class of Software Tools (MAH, DH, IJR), pp. 266–277.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.