scholarly journals A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

2011 ◽  
Vol 37 (2) ◽  
pp. 146-160 ◽  
Author(s):  
Moonzoo Kim ◽  
Yunho Kim ◽  
Hotae Kim
Author(s):  
Eugen Rigger ◽  
Alexander Lutz ◽  
Kristina Shea ◽  
Tino Stankovic

AbstractAssessing the impact of design automation on design practice prior to its implementation is difficult and subject to uncertainties. One reason for this is the designers' lack of knowledge about design automation. In this work, an industrial case study focusing on conceptual design of hydraulic circuits is conducted to assess the impact of the designers' knowledge on design automation potential estimation. In particular, the impact of demonstrating a prototypical implementation of a design automation application is investigated as a means to enhance the designers' knowledge about design automation. In this respect, a given set of metrics is rated twice to enable a comparative study: prior to and after introducing the design automation prototype. The yielded results show that the knowledge impacts the rating and supports reliability of potential estimation. Further, it is shown that designers acknowledge design automation potential for the early stages of design given sufficient knowledge about design automation. Yet, the results also indicate that careful attention needs to be put on the aspects covered by the prototype in order to avoid biasing participants.


1995 ◽  
Vol 10 (6) ◽  
pp. 245 ◽  
Author(s):  
Gang Luo ◽  
Robert L. Probert ◽  
Hasan Ural
Keyword(s):  

Author(s):  
Ahad Nejad Ebrahimi ◽  
Farnaz Nazarzadeh ◽  
Elnaz Nazarzadeh

Throughout history, gardens and garden designing has been in the attention of Persian architects who had special expertise in the construction of gardens. The appearance of Islam and allegories of paradise taken from that in Koran and Saints’ sayings gave spirituality to garden construction. Climate conditions have also had an important role in this respect but little research has been done about it and most of the investigations have referred to spiritual aspects and forms of garden. The cold and dry climate that has enveloped parts of West and North West of Iran has many gardens with different forms and functions, which have not been paid much attention to by studies done so far. The aim of this paper is to identify the features and specifications of cold and dry climate gardens with an emphasis on Tabriz’s Gardens.  Due to its natural and strategic situation, Tabriz has always been in the attention of governments throughout history; travellers and tourists have mentioned Tabriz as a city that has beautiful gardens. But, the earthquakes and wars have left no remains of those beautiful gardens. This investigation, by a comparative study of the climates in Iran and the effect of those climates on the formation of gardens and garden design, tries to identify the features and characteristics of gardens in cold and dry climate. The method of study is interpretive-historical on the basis of written documents and historic features and field study of existing gardens in this climate. The results show that, with respect to natural substrate, vegetation, the form of water supply, and the general form of the garden; gardens in dry and cold climate are different from gardens in other climates.


Sign in / Sign up

Export Citation Format

Share Document