At Caltech, Charles Plott encouraged Smith to formalize the methodology of experimental economics, which he did in two articles. In 1976, "Experimental Economics: Induced Value Theory" was published in the "American Economic Review" (AER). It was the first articulation of the principle behind economic experiments. Six years later, these principles were expanded in "Microeconomic Systems as an Experimental Science," also in the AER. This paper adapts the principles of mechanism design, a microeconomic system developed by Leonid Hurwicz, to the development of economic experiments. In Hurwicz's formulation, a microeconomic system consists of an economic environment, an economic institution (or economic mechanism), and an economic outcome. The economic environment is simply the preferences of the people in the economy and the production capabilities of the firms in the economy. The key insight in this formulation is that the economic outcome can be affected by the economic institution. The mechanism design provides a formal means for tests of the performance of an economic institution, and experimental economics, as developed by Smith, provided a means for formal empirical assessment of the performance of economic institutions. The second main contribution of the paper is to the technique of induced values, the method used in controlled laboratory experiments in economics, political science, and psychology, which allows experimental economists to create a replica of a market in a laboratory. Subjects in an experiment are told that they can produce a "commodity" at a cost and then sell it to buyers. The seller earns the difference between the price received and its cost. Buyers are told that the commodity has a value to them when they consume it, and they earn the difference between the value of the commodity to them and its price. Using the technique, Smith and his coauthors have examined the performance of alternative trading mechanisms in resource allocation.