1998 - ACM Fellow For broad contributions to research in software engineering and software evolution, and for service to the ACM and the greater software engineering community.
His study on Programming language is mostly dedicated to connecting different topics, such as Programmer. His research on Programmer often connects related topics like Programming language. Borrowing concepts from Software, he weaves in ideas under Software engineering. He undertakes interdisciplinary study in the fields of Software and Operating system through his research. He integrates many fields in his works, including Operating system and Software development. David Notkin integrates Software development with Software engineering in his study. Macro and Preprocessor are two areas of study in which David Notkin engages in interdisciplinary research. David Notkin performs multidisciplinary study in the fields of Preprocessor and Macro via his papers. He integrates Semantics (computer science) with Compiler in his research.
David Notkin undertakes interdisciplinary study in the fields of Programming language and Theoretical computer science through his works. With his scientific publications, his incorporates both Theoretical computer science and Programming language. David Notkin undertakes multidisciplinary studies into Software engineering and Artificial intelligence in his work. His multidisciplinary approach integrates Artificial intelligence and Software engineering in his work. David Notkin performs integrative study on Software and Software development in his works. In his works, David Notkin undertakes multidisciplinary study on Software development and Software construction. By researching both Software construction and Software, David Notkin produces research that crosses academic boundaries. David Notkin merges many fields, such as Operating system and Software portability, in his writings. He integrates several fields in his works, including Software portability and Operating system.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Dynamically Discovering Likely Program Invariants to Support Program Evolution
Michael D. Ernst;Jake Cockrell;William G. Griswold;David Notkin.
IEEE Computer Architecture Letters (2001)
Software reflexion models: bridging the gap between source and high-level models
Gail C. Murphy;David Notkin;Kevin Sullivan.
foundations of software engineering (1995)
ArchJava: connecting software architecture to implementation
Jonathan Aldrich;Craig Chambers;David Notkin.
international conference on software engineering (2002)
An empirical study of code clone genealogies
Miryung Kim;Vibha Sazawal;David Notkin;Gail Murphy.
foundations of software engineering (2005)
Software reflexion models: bridging the gap between design and implementation
G.C. Murphy;D. Notkin;K.J. Sullivan.
IEEE Transactions on Software Engineering (2001)
Gandalf: Software development environments
A. N. Habermann;D. Notkin.
IEEE Transactions on Software Engineering (1986)
Model checking large software specifications
Richard J. Anderson;Paul Beame;Steve Burns;William Chan.
foundations of software engineering (1996)
An ethnographic study of copy and paste programming practices in OOPL
Miryung Kim;L. Bergman;T. Lau;D. Notkin.
international symposium on empirical software engineering (2004)
Symstra: a framework for generating object-oriented unit tests using symbolic execution
Tao Xie;Darko Marinov;Wolfram Schulte;David Notkin.
tools and algorithms for construction and analysis of systems (2005)
Quickly detecting relevant program invariants
Michael D. Ernst;Adam Czeisler;William G. Griswold;David Notkin.
international conference on software engineering (2000)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: