Home > LASER Publications > Electronic Enterprise Institute > Jamieson M. Cobleigh
All Publications

Static Analysis [...]

Process Programming and Workflow [...]

Software Development [...]

Case Studies [...]

Electronic Enterprise Institute »

Jump To:
2010
2007
2006
2005
2004
2000

LASER Publications

Electronic Enterprise Institute

by Jamieson M. Cobleigh

 2000

Verifying Properties of Process Definitions
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, ACM Sigsoft 2000 International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, pp. 96-101, August 2000. (UM-CS-1999-063)

[ PostScript ] [ PDF ] [ ACM ]

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 Laboratory for Advanced Software Engineering Research.
© 2011 University of Massachusetts AmherstSite Policies