skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · the department · publications · theses · 

PhD Theses Advised by Leon Osterweil

by Year by Author by Advisor
 Clarke, Lori A.
PhD 1976
Test data generation and symbolic execution of programs as an aid to program validation
 Taylor, Richard Newton
PhD 1980
Static analysis of the synchronization structure of concurrent programs
 Gallucci, Michael Anthony
PhD 1981
SAM/SAL: an experiment using an attributed grammar
 Clemm, Geoffrey Michael
PhD 1986
The Odin system: an object manager for extensible software environments
 Rew, Russell Keith
PhD 1987
The representation of highly parameterized families of software components
 Olender, Kurt Michael
PhD 1988
Cecil/Cesar: specification and static evaluation of sequencing constraints
 Gamalel-Din, Shehab Ahmad
PhD 1989
Meteor: an environment integration formalism for programming software object consistency maintenance
 Sutton, Stanley M.
PhD 1990
APPL/A: a prototype language for software-process programming
 Maybee, Mark John
PhD 1995
Component-object interoperability in a heterogeneous distributed environment
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (14:01)