- Static Analysis
- FLAVERS
- PROPEL
- Finite-State Verification
- Property Specification »
- Fault-Tree Analysis
- Failure Mode and Effect Analysis
- MPI Verification
- INCA
- Experimentation
- Publications
- Additional Information
- All Property Specification Publications
- Related Research
- PROPEL
- A Specification
Pattern System
|
Property Specification
Recent Publications
Considering the Exceptional: Incorporating Exceptions into Property
Specifications
Huong Phan,
George S. Avrunin,
Lori A. Clarke,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 2008. (UM-CS-2008-32)
[ PDF ]
Specifying and Verifying Requirements for Election
Processes
Borislava I. Simidchieva,
Matthew S. Marzilli,
Lori A. Clarke,
Leon J. Osterweil,
In dg.o 2008: Proceedings of the 9th Annual International Conference on Digital Government Research, Montreal, Canada, May 2008, S. A. Chun, M. Janssen, and J. R. Gil-Garcia, Eds., Digital Government Society of North America, pp. 63-72. (UM-CS-2008-21)
[ ACM ]
[ PDF ]
[ Slides ]
Analyzing Medical Processes
Bin Chen,
George S. Avrunin,
Elizabeth A. Henneman,
Lori A. Clarke,
Leon J. Osterweil,
Philip L. Henneman,
ACM SIGSOFT/IEEE 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 623-632. (UM-CS-2007-51)
[ ACM ]
[ PDF ]
[ Slides ]
Using Software Engineering Technology to Improve the Quality of Medical Processes
Lori A. Clarke,
George S. Avrunin,
Leon J. Osterweil,
ACM SIGSOFT/IEEE Companion 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 889-898. (UM-CS-2008-20)
[ ACM ]
[ PDF ]
[ Slides ]
|
This site is maintained by the