- All Publications
- Static Analysis
- FLAVERS
- PROPEL
»
- Finite-State Verification
- Property Specification
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification
- INCA
- Experimentation
- Process Programming and Workflow
[...]
- Software Development
[...]
- Case Studies
[...]
- Electronic Enterprise Institute
- Jump To:
- 2008
- 2006
- 2003
- 2002
|
LASER Publications
PROPEL
by Rachel L. Smith
From Natural Language Requirements to Rigorous Property Specifications
Rachel L. Smith,
George S. Avrunin,
Lori A. Clarke,
Monterey Workshop 2003 (Workshop on Software Engineering for Embedded Systems (SEES 2003) From Requirements to Implementation, Chicago, IL, pp. 40-46, September 2003
. (UM-CS-2004-019)
[ PDF ]
[ Slides ]
PROPEL: An Approach Supporting Property Elucidation
Rachel L. Smith,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
24th International Conference on Software Engineering (ICSE 2002), Orlando, FL, pp. 11-21, May 2002. (UM-CS-2001-046)
[ PostScript ]
[ PDF ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|
This site is maintained by the