 | 2009 |
|---|
| 10 |       | L. Lin,
Stacy J. Prowell,
Jesse H. Poore:
The impact of requirements changes on specifications and state machines.
Softw., Pract. Exper. 39(6): 573-610 (2009) |
| 2007 |
|---|
| 9 | | Ali Mili,
Tim Daly,
Mark Pleszkoch,
Stacy J. Prowell:
A Semantic Recognizer Infrastructure for Computing Loop Behavior.
HICSS 2007: 277 |
| 2005 |
|---|
| 8 | | Frederick T. Sheldon,
Stephen Gordon Batsell,
Stacy J. Prowell,
Michael A. Langston:
Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures.
HICSS 2005 |
| 7 | | Stacy J. Prowell:
Using Markov Chain Usage Models to Test Complex Systems.
HICSS 2005 |
| 2004 |
|---|
| 6 | | Stacy J. Prowell:
A Cost-Benefit Stopping Criterion for Statistical Testing.
HICSS 2004 |
| 5 | | Stacy J. Prowell,
Jesse H. Poore:
Computing system reliability using Markov chain usage models.
Journal of Systems and Software 73: 219-225 (2004) |
| 2003 |
|---|
| 4 | | Stacy J. Prowell:
JUMBL: A Tool for Model-Based Statistical Testing.
HICSS 2003: 337 |
| 3 | | Stacy J. Prowell,
Jesse H. Poore:
Foundations of Sequence-Based Software Specification.
IEEE Trans. Software Eng. 29(5): 417-429 (2003) |
| 2000 |
|---|
| 2 |  | Stacy J. Prowell:
TML: a description language for Markov chain usage models.
Information & Software Technology 42(12): 835-844 (2000) |
| 1998 |
|---|
| 1 | | Stacy J. Prowell,
Jesse H. Poore:
Sequence-Based Software Specification of Deterministic Systems.
Softw., Pract. Exper. 28(3): 329-344 (1998) |
