2009 |
10 | EE | 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 | EE | Ali Mili,
Tim Daly,
Mark Pleszkoch,
Stacy J. Prowell:
A Semantic Recognizer Infrastructure for Computing Loop Behavior.
HICSS 2007: 277 |
2005 |
8 | EE | 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 | EE | Stacy J. Prowell:
Using Markov Chain Usage Models to Test Complex Systems.
HICSS 2005 |
2004 |
6 | EE | Stacy J. Prowell:
A Cost-Benefit Stopping Criterion for Statistical Testing.
HICSS 2004 |
5 | EE | 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 | EE | Stacy J. Prowell:
JUMBL: A Tool for Model-Based Statistical Testing.
HICSS 2003: 337 |
3 | EE | 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) |