GDPA  
David Notkin  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

David Notkin

E-Mail

notkin@cs.washington.edu

Homepage

http://www.cs.washington.edu/homes/notkin/

Address

Department of Computer Science & Engineering
University of Washington
Box 352350 [express mail: Sieg Hall 114]
Seattle, WA 98195-2350 
USA
+1 (206) 685-3798 [voice and voice mail]
+1 (206) 543-2969 [FAX]

Institution

Washington University - Computer Science and Engineering

Publications

2000:
/Ernst, 2000/ Quickly Detecting Relevant Program Invariants

1999:
/Chan, 1999/ Decoupling Synchronization from Logic Control for Efficient Symbolic Model Checking of Statecharts
/Ernst, 1999/ Dynamically Discovering Likely Program Invariants to Support Program Evolution
/Michail, 1999/ Assessing Software Libraries by Browsing Similar Classes, Functions, and Relationships

1998:
/Dingel, 1998/ Reasoning about implicit Invocation

1988:
/Notkin, 1988/ Applying software process models to the full lifecycle is premature

See Also

more information at dlpb - Universitšt Trier

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster