Sustaining culture through architecture : how can local, vernacular architectural principles be adapted to contemporary design in a village in Guyana

This thesis explores how architecture can adapt local vernacular design principles to contemporary building design in a rural setting. Vernacular buildings in Guyana present a unique and coherent set of design principles developed in response to climatic and cultural conditions. The concept of “habitus” proposed by philosopher Pierre Bourdieu describing the evolving nature of social culture was used to interpret Guyanese local buildings. These principles were then applied to the design of a Women’s Center in the village of Port Mourant on the east coast of Guyana. The design specifically interpreted the “bottom-house” of local Guyanese architecture, an inherently flexible transitional outdoor space beneath raised buildings. The design of the Women’s Center demonstrates how contemporary architectural design can respond to climatic requirements, local preferences and societal needs to support the local culture.

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.

Keynote Address by Karim Rashid

Karim Rashid is one of the most prolific designers of his generation. Over 3000 designs in production, over 300 awards and working in over 35 countries attest to Karim’s legend of design. Karim’s diversity affords him the ability to cross-pollinate ideas, materials, behaviors, aesthetics from one typology to the next, crossing boundaries and broadening consumer horizons. His award winning designs include democratic objects such as the ubiquitous Garbo waste can and Oh Chair for Umbra, interiors such as the Morimoto restaurant, Philadelphia and Semiramis hotel, Athens and exhibitions for LG Hausys and Audi. Karim has collaborated with clients to create democratic design for Method and Dirt Devil, furniture for Artemide and Magis, brand identity for Citibank and Hyundai, high tech products for LaCie and Samsung, and luxury goods for Veuve Clicquot and Swarovski, to name a few. Karim has recently been selected to design several real estate developments in New York City for HAP Investments, a New York City based International investment group. Karim’s work is featured in 20 permanent collections and he exhibits art in galleries world wide. Karim is a perennial winner of the Red Dot award, Chicago Athenaeum Good Design award, I.D. Magazine Annual Design Review, IDSA Industrial Design Excellence award. He holds honorary doctorates from the Ontario college of Art & Design and Corcoran College of Art & Design. 2011 highlighted Karim’s largest retrospective to date at the Triennale, in Milan, Italy. Karim is a frequent guest lecturer at universities and conferences globally disseminating the importance of design in everyday life. Karim has been featured in magazines including Time, Financial Times, NY Times, Esquire, GQ and countless more. His books include From the Beginning, Forma Edizioni (2014), Sketch, Frame (2012), a monograph of 300 drawings and computer renderings of selected works, KarimSpace, Rizzoli (2009), Design Your Self, Harper Collins (2006), Evolution, Rizzoli (2004) and I Want to Change the World, Universe (2001). In his spare time Karim’s pluralism flirts with art, fashion, and music and is determined to creatively touch every aspect of our physical and virtual landscape.

Mock-ups in design : the implications of utlizing [sic] a mock-up review process in professional practice

The purpose of this research is to examine the use of a mock-up review process in interior design projects to better understand the implications of using such a process within the standard professional practice model. The research consisted of interviewing design professionals who utilize mock-ups as part of their standard of practice. These interviews were centered around two groups - those working in shipbuilding, where mock-ups have a long history, and those working in land-based projects, where mock-up use is rare. Analysis of the interviews indicated a positive relationship between mock-up use and collaboration, innovation, and problem solving. The interviews also brought to light concerns on behalf of all the professionals surveyed about the current practice model in land-based building design and construction projects within the United States. The positive relationships shown in the thesis support further research to explore how mock-ups can be best utilized in interior design.