Home > LASER Publications > Case Studies > Software Development > Leon J. Osterweil
All Publications

Static Analysis [...]

Process Programming and Workflow [...]

Software Development [...]

Case Studies
Medical Safety
Elections
Scientific Workflow
Online Dispute Resolution
Digital Government
Software Development »

Electronic Enterprise Institute

Jump To:
2014
2012

LASER Publications

Software Development

by Leon J. Osterweil

 2014

On Formal Definition and Analysis of Formal Verification Processes
Leon J. Osterweil, Chapter in Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi, Springer Berlin Heidelberg, 2014, pp. 35-52. (UM-CS-2014-024)

[ Springer ]

 2012

Provenance Support for Rework
Xiang Zhao, Barbara Lerner, Leon J. Osterweil, Emery Boose, Aaron Ellison, In Proceedings of the 4th USENIX Workshop on the Theory and Practice of Provenance (TAPP '12), Boston, MA, June 14-15, 2012. (UM-CS-2012-025)

[ PDF ] [ Slides ]

The Role of Context in Exception-Driven Rework
Xiang Zhao, Barbara Lerner, Leon J. Osterweil, In Proceedings of the 5th International Workshop on Exception Handling (WEH), 2012, pp. 41-45, Zurich, Switzerland, June 9, 2012. (UM-CS-2012-026)

[ PDF ] [ Slides ]

An Approach to Modeling and Supporting the Rework Process in Refactoring
Xiang Zhao, Leon J. Osterweil, In Proceedings of the 2012 International Conference on Software and System Process (ICSSP), pp.110-119, Zurich, Switzerland, June 2-3, 2012. (UM-CS-2012-024)

[ PDF ] [ Slides ]

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