Programming languages and software engineering

Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson

Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003

Project Project

Jittat Fakcharoenphol, Satish Rao, Kunal Talwar

STOC ’03: Proceedings of the thirty-fifth annual ACM symposium on Theory of computing | April 2003

ISBN: 1-58113-674-9

David R. Hanson, Todd A. Proebsting

MSR-TR-2003-32 | April 2003

Philip A. Chou, Helen Wang, Venkata N. Padmanabhan, Philip A. Chou, Venkat Padmanabhan

Packet Video Workshop | April 2003

Project

Scott Lee Tiernan, Jonathan Grudin

April 2003

Brannon Batson, Leslie Lamport

Formal Methods for Components and Objects | March 2003

Dinei Florencio, Patrice Simard

DCC | March 2003

Nick Benton

March 2003

Tim Regan, Mary Czerwinski, Brian Meyers, Greg Smith

MSR-TR-2003-13 | March 2003

D.P. Schneider, Jim Gray, et. al.

Astronomy | March 2003, Vol 126: pp. 41