CAISE
2006
Springer
13 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
MITJSME
1989
13 years 8 months ago
1989
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
DAC
1994
ACM
13 years 8 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
MM
1996
ACM
13 years 8 months ago
1996
ACM
MAD (Movie Authoring and Design) is a novel design and authoring system that facilitates the process of creating dynamic visual presentations such as motion pictures and lecture-d...
ICRA
1998
IEEE
13 years 8 months ago
1998
IEEE
Tolerancing decisions can profoundly impact the quality and cost of electro-mechanical assemblies. Existing approaches to tolerance analysis and synthesis in design entail detailed...
ICECCS
1998
IEEE
13 years 8 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
APCHI
1998
IEEE
13 years 8 months ago
1998
IEEE
Iterative design is usually considered in the context of prototyping, evaluating, and improving a single product. We had the interesting opportunity to work on three distinct prod...
DATE
1999
IEEE
13 years 8 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
DAC
1999
ACM
13 years 8 months ago
1999
ACM
The assumption in moving system modelling to higher levels is that this improves the design process by allowing exploration of the architecture, providing an unambiguous specifica...
ACMDIS
2000
ACM
13 years 8 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...