公開日 On Matching Schemas Automatically Erhard Rahm, Phil Bernstein MSR-TR-2001-17 | February 2001 プロジェクト
公開日 Conformance Testing with Abstract State Machines Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes EUROCAST 2001 | February 2001 プロジェクト
公開日 Typing a Multi-Language Intermediate Code Andy Gordon, Don Syme MSR-TR-2000-106 | January 2001 ISBN: 1-58113-336-7 Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA
公開日 Partial Updates: Exploration Yuri Gurevich, Nikolai Tillmann Springer J. of Universal Computer Science | January 2001
公開日 Featherweight concurrency in a portable assembly language Simon Peyton Jones, Norman Ramsey January 2001
公開日 Industrial and Economic Properties of Software: Technology, Processes, and Value David G. Messerschmitt, Clemens Szyperski MSR-TR-2001-11 | January 2001
公開日 Testable Use Cases in the Abstract State Machine Language Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann Proc. 2nd Asia-Pacific Conference on Quality Software (APAQS 2001) | January 2001 ISBN: 0-7695-1287-9 プロジェクト