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 × Canada
1 × Ireland
1 × Italy
1 × Portugal
1 × Sweden
2 × USA
Collaborated with:
M.Andric Z.Tu D.Mason D.Woit
Talks about:
system (3) compon (3) theori (2) state (2) test (2) subdomain (1) synthesi (1) properti (1) reliabl (1) problem (1)

♂ Person: Dick Hamlet

DBLP DBLP: Hamlet:Dick

Facilitated 7 volumes:

CBSE 2008PrCo
CBSE 2007PrCo
CBSE 2006PrCo
CBSE 2005PrCo
CBSE 2004PrCo
CBSE 2003PrCo
CBSE 2002PrCo

Contributed to:

CBSE 20062006
ISSTA 20062006
PASTE 20052005
CBSE 20032002
ISSTA 20022002
CBSE 20012001
CBSE 20002000

Wrote 7 papers:

CBSE-2006-Hamlet #assembly #predict
Defining “Predictable Assembly” (DH), pp. 320–327.
ISSTA-2006-Hamlet #testing
Subdomain testing of units and systems with state (DH), pp. 85–96.
PASTE-2005-Hamlet #formal method #invariant #testing
Invariants and state in testing and formal methods (DH), pp. 48–51.
CBSE-2003-HamletAT #component
Experiments with composing component properties (DH, MA, ZT), p. 14.
Continuity in sofware systems (DH), pp. 196–200.
CBSE-2001-Hamlet #component #problem #synthesis
Component Synthesis Theory: The Problem of Scale (DH), p. 15.
CBSE-2000-HamletMW #component #reliability
Theory of System Reliability Based on Components (DH, DM, DW), p. 14.

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.