 | 2012 |
|---|
| 15 |       | Dick Hamlet:
Science, Mathematics, Computer Science, Software Engineering.
Comput. J. 55(1): 99-110 (2012) |
| 2010 |
|---|
| 14 | | Dick Hamlet:
Subdomain (Partition) Testing.
Encyclopedia of Software Engineering 2010: 1188-1199 |
| 2009 |
|---|
| 13 | | Dick Hamlet:
Tools and experiments supporting a testing-based theory of component composition.
ACM Trans. Softw. Eng. Methodol. 18(3): (2009) |
| 2007 |
|---|
| 12 | | Dick Hamlet:
Test-Based Specifications of Components and Systems.
QSIC 2007: 388-395 |
| 11 | | Borislav Nikolik,
Dick Hamlet:
Practical ultra-reliability for abstract data types.
Softw. Test., Verif. Reliab. 17(3): 183-203 (2007) |
| 10 | | Dick Hamlet:
Software component composition: a subdomain-based testing-theory foundation.
Softw. Test., Verif. Reliab. 17(4): 243-269 (2007) |
| 2006 |
|---|
| 9 | | Dick Hamlet:
Defining "Predictable Assembly".
CBSE 2006: 320-327 |
| 8 | | Dick Hamlet:
Subdomain testing of units and systems with state.
ISSTA 2006: 85-96 |
| 7 | | Dick Hamlet:
When only random testing will do.
Random Testing 2006: 1-9 |
| 6 | | Sharon Flynn,
Dick Hamlet:
On Formal Specification of Software Components and Systems.
Electr. Notes Theor. Comput. Sci. 161: 91-107 (2006) |
| 2005 |
|---|
| 5 | | Dick Hamlet:
Invariants and state in testing and formal methods.
PASTE 2005: 48-51 |
| 2003 |
|---|
| 4 | | Dick Hamlet,
Mary Lou Soffa:
Report on the ICSE 2003 Doctoral Symposium.
ICSE 2003: 762-766 |
| 3 | | Dick Hamlet:
Report on the ICSE 2003 doctoral symposium.
ACM SIGSOFT Software Engineering Notes 28(4): 27-28 (2003) |
| 2002 |
|---|
| 2 | | Dick Hamlet:
Continuity in sofware systems.
ISSTA 2002: 196-200 |
| 2000 |
|---|
| 1 | | Dick Hamlet:
Mathematics, Computer Science, Software Engineering.
Electr. Notes Theor. Comput. Sci. 40: 186 (2000) |
Data released under the ODC-BY 1.0 license — See also our legal information page