Robert DeLine
Robert DeLine
Principal Researcher, Microsoft Research
Bestätigte E-Mail-Adresse bei microsoft.com
Titel
Zitiert von
Zitiert von
Jahr
Abstractions for software architecture and tools to support them
M Shaw, R DeLine, DV Klein, TL Ross, DM Young, G Zelesnik
IEEE transactions on software engineering 21 (4), 314-335, 1995
12551995
Boogie: A modular reusable verifier for object-oriented programs
M Barnett, BYE Chang, R DeLine, B Jacobs, KRM Leino
International Symposium on Formal Methods for Components and Objects, 364-387, 2005
9822005
Maintaining mental models: a study of developer work habits
TD LaToza, G Venolia, R DeLine
Proceedings of the 28th international conference on Software engineering …, 2006
6402006
Enforcing high-level protocols in low-level software
R DeLine, M Fähndrich
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
5482001
Information needs in collocated software development teams
AJ Ko, R DeLine, G Venolia
29th International Conference on Software Engineering (ICSE'07), 344-353, 2007
5262007
Verification of Object-Oriented Programs with Invariants.
M Barnett, R DeLine, M Fähndrich, KRM Leino, W Schulte
J. Object Technol. 3 (6), 27-56, 2004
4152004
Adoption and focus: Practical linear types for imperative programming
M Fahndrich, R DeLine
Proceedings of the ACM SIGPLAN 2002 conference on Programming language …, 2002
3442002
Alice: lessons learned from building a 3D system for novices
M Conway, S Audia, T Burnette, D Cosgrove, K Christiansen
Proceedings of the SIGCHI conference on Human Factors in Computing Systems …, 2000
3162000
Interactions with big data analytics
D Fisher, R DeLine, M Czerwinski, S Drucker
interactions 19 (3), 50-59, 2012
3082012
Typestates for objects
R DeLine, M Fähndrich
European Conference on Object-Oriented Programming, 465-490, 2004
2832004
Let's go to the whiteboard: how and why software developers use drawings
M Cherubini, G Venolia, R DeLine, AJ Ko
Proceedings of the SIGCHI conference on Human factors in computing systems …, 2007
2622007
A field study of API learning obstacles
MP Robillard, R Deline
Empirical Software Engineering 16 (6), 703-732, 2011
2592011
BoogiePL: A typed procedural language for checking object-oriented programs
R DeLine, KRM Leino
Technical Report MSR-TR-2005-70, Microsoft Research, 2005
1882005
Abstractions and implementations for architectural connections
M Shaw, R DeLine, G Zelesnik
Proceedings of International Conference on Configurable Distributed Systems …, 1996
1651996
Alice: Rapid prototyping system for virtual reality
R Pausch, T Burnette, AC Capeheart, M Conway, D Cosgrove, R DeLine, ...
IEEE Computer Graphics and Applications 15 (3), 8-11, 1995
1561995
Trill: A high-performance incremental query processor for diverse analytics
B Chandramouli, J Goldstein, M Barnett, R DeLine, D Fisher, JC Platt, ...
Proceedings of the VLDB Endowment 8 (4), 401-412, 2014
1502014
Easing program comprehension by sharing navigation data
R DeLine, M Czerwinski, G Robertson
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005
1422005
Social media for software engineering
A Begel, R DeLine, T Zimmermann
Proceedings of the FSE/SDP workshop on Future of software engineering …, 2010
1322010
Righting software
JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ...
IEEE software 21 (3), 92-100, 2004
1302004
Developing calendar visualizers for the information visualizer
JD Mackinlay, GG Robertson, R DeLine
Proceedings of the 7th annual ACM symposium on User interface software and …, 1994
1241994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20