The goal of this Creative Project was to write a model text on the principles and practices of specifications writing for landscape architecture students.The goals of the text were to provide: 1) an overview of the principles and practices of specifications writing as advocated by the Construction Specifications Institute; 2) examples of contract documents used by the landscape architect; and 3) a source of reference information specifically for landscape architects.The text consists of nine chapters. Each chapter begins with a set of goals, followed by the text content, and ends with a set of review questions. The text contains figures and appendices which provide examples and sources of information useful to specifications writers. / Department of Landscape Architecture

Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: hardware verification; language; timing diagrams; aspect-oriented programming. Includes bibliographical references (leaves 58).

Hardware engineers frequently create formal specification documents as part of the verification process. Doing so is a time-consuming and error-prone process, as the primary documents for communications and standards use a mixture of prose, diagrams and tables. We would like this process to be partially automated, in which the engineer's role would be to refine a machine-generated skeleton of a specification's formal model. We have created a preliminary intermediate language which allows specifications to be captured using formal semantics, and allows an engineer to easily find, understand, and modify critical portions of the specification. We have converted most of ARM's AMBA AHB specification to our language; our representation is able to follow the structure of the original document.