en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Notkin
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(207)
tags
dblp
imported
architecture
software
model_checking
components
refactoring
statecharts
restructuring
caseStudy
model
ArchitectureLanguage
1998
1999
evolution
Me:Printed
testing
reconstructing
Me:MastersThesis
program
implementation
unit
reengineering
unittesting
2001
Me:ToRead
dynamic
understanding
reflexion
analysis
phd
tool
versioning
Java
requirements
synchronization
Roles
No matching items.
A flexible communication abstraction for nonshared memory parallel computing.
Gail A. Alverson
,
William G. Griswold
,
David Notkin
, and
Lawrence Snyder
.
SC,
page 584-593.
IEEE Computer Society / ACM,
(
1990
)
Gail A. Alverson
,
William G. Griswold
,
David Notkin
, and
Lawrence Snyder
.
SC,
page 584-593.
IEEE Computer Society / ACM,
(
1990
)
3 months and 19 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Exposing unforeseen consequences of software change.
David Notkin
.
ISEC,
page 1-2.
ACM,
(
2010
)
David Notkin
.
ISEC,
page 1-2.
ACM,
(
2010
)
4 months and 11 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Identifying and Summarizing Systematic Code Changes via Rule Inference.
Miryung Kim
,
David Notkin
,
Dan Grossman
, and
Gary Wilson Jr.
.
IEEE Trans. Software Eng.
39(1):45-62
(
2013
)
Miryung Kim
,
David Notkin
,
Dan Grossman
, and
Gary Wilson Jr.
.
IEEE Trans. Software Eng.
39(1):45-62
(
2013
)
4 months and 13 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Speculative analysis of integrated development environment recommendations.
Kivanç Muslu
,
Yuriy Brun
,
Reid Holmes
,
Michael D. Ernst
, and
David Notkin
.
OOPSLA,
page 669-682.
ACM,
(
2012
)
Kivanç Muslu
,
Yuriy Brun
,
Reid Holmes
,
Michael D. Ernst
, and
David Notkin
.
OOPSLA,
page 669-682.
ACM,
(
2012
)
6 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Gandalf: Software Development Environments.
A. Nico Habermann
, and
David Notkin
.
IEEE Trans. Software Eng.
12(12):1117-1127
(
1986
)
A. Nico Habermann
, and
David Notkin
.
IEEE Trans. Software Eng.
12(12):1117-1127
(
1986
)
7 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Fast predictive inverse neurocontrol: Comparative simulation and experiment.
K. V. Zmeu
,
B. S. Notkin
,
P. A. Dyachenko
, and
V. A. Kovalev
.
IJCNN,
page 1-7.
IEEE,
(
2012
)
K. V. Zmeu
,
B. S. Notkin
,
P. A. Dyachenko
, and
V. A. Kovalev
.
IJCNN,
page 1-7.
IEEE,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
TOSEM news.
David Notkin
.
ACM SIGSOFT Software Engineering Notes
37(4):7-8
(
2012
)
David Notkin
.
ACM SIGSOFT Software Engineering Notes
37(4):7-8
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Dynamically Discovering Likely Program Invariants to Support Program Evolution
M. D. Ernst
,
J. Cockrell
,
W. G. Griswold
, and
D. Notkin
.
IEEE Transactions on Software Engineering
27(2):1-25
(
2001
)
M. D. Ernst
,
J. Cockrell
,
W. G. Griswold
, and
D. Notkin
.
IEEE Transactions on Software Engineering
27(2):1-25
(
2001
)
9 months ago
by
lucio_duarte
6
URL
DOI
TeX
Improving IDE recommendations by considering global implications of existing recommendations.
Kivanç Muslu
,
Yuriy Brun
,
Reid Holmes
,
Michael D. Ernst
, and
David Notkin
.
ICSE,
page 1349-1352.
IEEE,
(
2012
)
Kivanç Muslu
,
Yuriy Brun
,
Reid Holmes
,
Michael D. Ernst
, and
David Notkin
.
ICSE,
page 1349-1352.
IEEE,
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Voyeur: Graphical Views of Parallel Programs.
David Socha
,
Mary L. Bailey
, and
David Notkin
.
Workshop on Parallel and Distributed Debugging,
page 206-216.
ACM,
(
1988
)
David Socha
,
Mary L. Bailey
, and
David Notkin
.
Workshop on Parallel and Distributed Debugging,
page 206-216.
ACM,
(
1988
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reconciling environment integration and component independence.
Kevin J. Sullivan
, and
David Notkin
.
SDE,
page 22-33.
ACM,
(
1990
)
Kevin J. Sullivan
, and
David Notkin
.
SDE,
page 22-33.
ACM,
(
1990
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Relationship Between Software Development Environments and the Software Process Panel Session Introduction.
David Notkin
.
Software Development Environments SDE,
page 107-109.
ACM,
(
1988
)
David Notkin
.
Software Development Environments SDE,
page 107-109.
ACM,
(
1988
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Experiences with Poker.
David Notkin
,
Lawrence Snyder
,
David Socha
,
Mary L. Bailey
,
Bruce Forstall
,
Kevin Gates
,
Raymond Greenlaw
,
William G. Griswold
,
Thomas J. Holman
,
Richard Korry
,
Gemini Lasswell
,
Robert Mitchell
, and
Philip A. Nelson
.
PPOPP/PPEALS,
page 10-20.
ACM,
(
1988
)
David Notkin
,
Lawrence Snyder
,
David Socha
,
Mary L. Bailey
,
Bruce Forstall
,
Kevin Gates
,
Raymond Greenlaw
,
William G. Griswold
,
Thomas J. Holman
,
Richard Korry
,
Gemini Lasswell
,
Robert Mitchell
, and
Philip A. Nelson
.
PPOPP/PPEALS,
page 10-20.
ACM,
(
1988
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using Role Components to Implement Collaboration-Based Designs.
Michael VanHilst
, and
David Notkin
.
OOPSLA,
page 359-369.
ACM,
(
1996
)
Michael VanHilst
, and
David Notkin
.
OOPSLA,
page 359-369.
ACM,
(
1996
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Nico Habermann's Research: A Brief Retrospective.
David Garlan
,
J. Frits Habermann
, and
David Notkin
.
ICSE,
page 149-153.
IEEE Computer Society / ACM Press,
(
1994
)
David Garlan
,
J. Frits Habermann
, and
David Notkin
.
ICSE,
page 149-153.
IEEE Computer Society / ACM Press,
(
1994
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Dynamically Discovering Likely Program Invariants to Support Program Evolution.
Michael D. Ernst
,
Jake Cockrell
,
William G. Griswold
, and
David Notkin
.
ICSE,
page 213-224.
ACM,
(
1999
)
Michael D. Ernst
,
Jake Cockrell
,
William G. Griswold
, and
David Notkin
.
ICSE,
page 213-224.
ACM,
(
1999
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
First Workshop on Economics-Driven Software Engineering Research.
Kevin J. Sullivan
,
David Notkin
,
Alfonso Fuggetta
, and
John M. Favaro
.
ICSE,
page 699-700.
ACM,
(
1999
)
Kevin J. Sullivan
,
David Notkin
,
Alfonso Fuggetta
, and
John M. Favaro
.
ICSE,
page 699-700.
ACM,
(
1999
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Panel: Intellectual Property Issues in Software.
David Notkin
,
Gregory J. Kirsch
, and
Yannis Skulikaris
.
ICSE,
page 594-595.
ACM,
(
1999
)
David Notkin
,
Gregory J. Kirsch
, and
Yannis Skulikaris
.
ICSE,
page 594-595.
ACM,
(
1999
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
William Chan
,
Richard J. Anderson
,
Paul Beame
,
David H. Jones
,
David Notkin
, and
William E. Warner
.
ICSE,
page 142-151.
ACM,
(
1999
)
William Chan
,
Richard J. Anderson
,
Paul Beame
,
David H. Jones
,
David Notkin
, and
William E. Warner
.
ICSE,
page 142-151.
ACM,
(
1999
)
a year ago
by
dblp
3
dblp
dblp
URL
DOI
TeX
Assessing Software Libraries by Browsing Similar Classes, Functions and Relationships.
Amir Michail
, and
David Notkin
.
ICSE,
page 463-472.
ACM,
(
1999
)
Amir Michail
, and
David Notkin
.
ICSE,
page 463-472.
ACM,
(
1999
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact