Green Peter Reservoir, Middle Santiam River, Oregon; design memorandum.

no. 4. Right Bank Road [and] 4 supplements.--no. 8. Clearing: Green Peter Dam.--no.9. Geology and foundations--no. 10. Concrete dam.--no. 11. Powerhouse and switchyard; preliminary design report [and [suppl] 1. Powerhouse; structural and architectural design. [suppl] 2. Powerhouse; mechanical design. no. 13. Fish facilities.--no. 14. Concrete aggregates.

Building by design /

Cover title.

Building by design /

A grants program supported by Build Illinois, and the National Endowment for the Arts.

Design guidelines for creating defensible space /

Includes bibliographical references.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Recanto do vale do pium: condomínio de habitações com ênfase no baixo impacto ambiental e no desempenho térmico do ambiente construído

This work describes the design process of a small recreational gated community in Pium, Nísia Floresta/RN, from concept to final design stages, with emphasis on low environmental impact, thermal comfort and the spatial quality of housing. The process consisted in a review of the literature and relevant standards, studies of design references and architectural programming. The project development was initially focused on the project’s feasibility, with the definition of the number of units, implantation, size and location of the dwellings and the common areas of the development. Two types of houses (four low rise and five duplex units) have been proposed in order to attend the premises of architectural programming. The conception of the architectural design began with the rooms’ zoning according to the lots. This resulted in the pre-selection of three alternatives that were evaluated in terms of spatial quality and environmental performance. The development of sketches focused on the envelope consistent with the bioclimatic guidelines and on the language of the compatible proposal with the lowest possible environmental impact of the building system, which resulted in the selection of the eucalyptus wood type. During the working drawings, the Quality Technical Regulation for the Level of Energy Efficiency Residential Buildings (RTQ -R) was adopted for the evaluation of the envelope, which resulted in "B" level of efficiency for the first case. After minor adjustments, mainly in frames, the efficiency level rose to "A", demonstrating that early project decisions contributed to the envelope energy performance. Besides the design of the two types of units, the final proposal of the gated community includes the design of the equipment for the common areas (entrance, multipurpose room and support and service sector), and the descriptive texts explaining the project and construction’s details.

Integração de projetos no ensino através de BIM: uma abordagem dos cursos de arquitetura e urbanismo da UFRN e da UFPB

The integration between architectural design and structur al systems consi sts, in academic education, one of the main challenges to the architectural design education . Recent studies point to the relevance of the use of computational tools in academic settings as an important strategy for such integration. Although in recent yea rs teaching experience using BIM (BuildingInformationModeling) may be incorporated by the a rchitecture schools , notes the need for further didactic and pedagogical practices that promote the architectural design and structur al integration teaching. This pa per analyzes experiences developed within the UFRN and UFPB, seeking to identify tools, processes and products used, pointing limitations and potentials in subjects taught in these institutions. The research begins with a literature review on teaching BIM and related aspects to the integration of architectural design and stru c tur e . It has been used as data collection techniques in studio the direct observation, the use of questionnaires and interviews with students and teachers, and mixed method, qualitativ e and quantitative analysis . In UFRN, the scope of the Integrated Workshop as a compulsory subject in the curriculum, favors the integration of disciplines studied here as it allows teachers from different disciplines at the same project studio . Regarding the use of BIM form initial users, BIM modelers, able to extract quantitative and automatically speed up production, gaining in quality in the products, however learn the tool and design in parallel cause some difficulties. UFPB, lack of required courses o n BIM, generates lack of knowledge and confidence in using the tool and processes, by most students. Thus we see the need for greater efforts by school to adopt BIM skills and training. There is a greater need for both BIM concept, in order to promote BIM process and consequent better use of tools, and obsolete avoiding impairment of technology, merely a tool. It is considered the inclusion of specific subjects with more advanced BIM skills, through partnerships with engineering degrees and the promotion of trans disciplinary integration favoring the exchange of different cultures from the academic environment.

O registro de procedimentos metodológicos em projetos de intervenção arquitetônica no patrimônio edificado: o caso de Natal-RN

In the midst of growing preservationist awareness, regarding methods of architectural intervention of buildings with a recognized heritage value, there are numerous approaches on how the original heritage value can be protected. However, can these intervention projects be differentiated? Is it possible to identify how they differ (if in fact they do) from an architectural project not related to preservation? Although there are numerous theoretical studies regarding methods utilized in architectonical projects, there appear to be a lack of studies focused on an architectural intervention exclusively focused on areas or edifications that have a recognized heritage value, thereby requiring a reflection on which methodological procedures in an architectonical project serve the purpose of the preservation of the historical aspects. This discussion is of even greater importance because, at the national level, some recent discussions on this type of architectural design seem arbitrary and lack methodological rigor. Therefore, this research attempts to focus equally on the theoretical-methodological practices of preservation as well as the architectural project methods. In an attempt to address these aspects, the focus of this research centers on the case studies of the intervention projects of the maritime passenger terminal of Natal (Terminal Marítimo de Passageriros de Natal), the old government hall (Palacio do Governo - EDTAM) and the old central hotel (Hotel Central) which are situated in the area known as the historic downtown of the city of Natal, within the federal heritage protection polygon. The analyses of these is intended to identify what methodological procedures were recorded in the final product (in the graphical representation of the architectural design and other documents) delivered to IPHAN / RN, the body responsible for review and approval of these architectural projects, noting whether such procedures appear, in some way, in the final product, and if an understanding of the complexity of preservation is evident. The analyses of these projects corroborate the hypothesis that there are unique characteristics, which must be addressed in the intervention project for preservation when compared to new project design. The main characteristic to be addressed is related to the very nature of the project. It is inherent in the dialectical relationship between the need to preserve (the identified heritage values) and the need to modernize (making adaptations to contemporary life). This relationship, denominated in this dissertation as "radical restraint", must, or at least should, guide the actions in the project as well as the technical analyses of the preservationist organization. However, this radical restriction appears more evident in the guidelines put forth by legislators than in the decisions of designers. These legislators require the presentation of documents, aimed at identifying and contextualizing intervention (Ordinance No. 420 of December 22, 2010), that grant (or should grant) assistance in the decision making process. It was evident in the analyses of these documents that there existed a disconnect between the documents produced and the decisions made in the project. This fact can be seen in the total absence of dialogue about theoretical-methodological preservationist principles, which, in our view, is an essential element of the methodological procedures of the intervention project needed to guide the legislative and project design discussions.

I Stood Up: Social Design in Practice

Through practice-based research, we explore how interdisciplinary design projects can function to address social issues concerning environmental and social problems. Using two case studies developed between London in the United Kingdom, and Delhi and Ahmedabad in India, we discuss the importance of engagement with the people who the design ultimately serves. Finally, we argue that design concerned with complex social problems require equally complex, multidimensional responses, informed by bodies of knowledge, practices and approaches that lie outside of traditional design approaches.

Exploring design patterns for sustainable behaviour

Products and services explicitly intended to influence users’ behaviour are increasingly being proposed to reduce environmental impact and for other areas of social benefit. Designing such interventions often involves adopting and adapting principles from other contexts where behaviour change has been studied. The ‘design pattern’ form, used in software engineering and HCI, and originally developed in architecture, offers benefits for this transposition process. This article introduces the Design with Intent toolkit, an idea generation method using a design pattern form to help designers address sustainable behaviour problems. The article also reports on exploratory workshops in which participants used the toolkit to generate concepts for redesigning everyday products—kettles, curtains, printers and bathroom sinks/taps—to reduce the environmental impact of use. The concepts are discussed, along with observations of how the toolkit was used by participants, suggesting usability improvements to incorporate in future versions.

John Frazer

John Frazer, Professor, trained at the Architectural Association, taught first at Cambridge University and then the AA in the 1970s and again in the '90s. He was Head of School of Design Research History and Criticism at the University of Ulster in the 1980s, he also ran a systems and design consultancy with his wife Julia (including projects for Cedric Price and Walter Segal) and was founder and chairman of Autographics software. He is currently Swire Chair Professor and Head of School of Design in Hong Kong.----- This is a very personal perspective on a concept of universal and future significance. It is personal, both is the sense that it is an unashamedly biased view of both the significance of the project, and the nature of that significance and because the author was personally involved as one of the consultants on GENERATOR and subsequently involved Cedric Price in its educational application at the Architectural Association. GENERATOR is still very much alive and was still developing whilst this chapter was being written.

The generation of virtual prototypes for performance optimization

I am suspicious of tools without a purpose - tools that are not developed in response to a clearly defined problem. Of course tools without a purpose can still be useful. However the development of first generation CAD was seriously impeded because the solution came before the problem. We are in danger of repeating this mistake if we do not clarify the nature of the problem that we are trying to solve with the next generation of tools. Back in the 1980s I used to add a postscript slide at the end of CAD conference presentations and the applause would invariably turn to concern. The slide simple asked: can anyone remember what it was about design that needed aiding before we had computer aided design?

Tangible interfaces to explain Gaudi's use of ruled-surface geometries

This paper summarises the development of a machine-readable model series for explaining Gaudi's use of ruled surface geometry in the Sagrada Familia in Barcelona, Spain. The first part discusses the modeling methods underlying the columns of the cathedral and the techniques required to translate them into built structures. The second part discusses the design and development of a tangible machine-readable model to explain column-modeling methods interactively in educational contexts such as art exhibitions. It is designed to explain the principles underlying the column design by means of physical interaction without using mathematical terms or language.

Interactive architecture

This chapter explores the development of concepts of interactive environments by comparing two major projects that frame the period of this book. The Fun Palace of 1960 and the Generator of 1980 both proposed interactive environments responsive to the needs and behaviour of their users, but the contrast in terms of the available technology and what it enabled could not be more marked. The Fun Palace broke new architectural, organizational and social ground and was arguably the first proposition for cybernetic architecture; the Generator demonstrated how it could be achieved. Both projects are now acknowledged as seminal architectural propositions of the twentieth century, and both were designed by Cedric Price.