 | |
| 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
|