9110 search results - page 96 / 1822 » Formally-Based Design Evaluation |
DAC
2003
ACM
15 years 11 months ago
2003
ACM
SQJ
2008
14 years 8 months ago
2008
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
WETICE
2000
IEEE
15 years 1 months ago
2000
IEEE
We discuss a vision of and work in progress on a collaborative engineering environment, the Collaborative Design Studio, being developed at the Geometric and Intelligent Computing...
AES
2007
Springer
14 years 10 months ago
2007
Springer
Whilst conventional approach in structural design is based on reliability-calibrated factored design formula, performance-based design customizes a solution to the specific circum...