Sciweavers

467 search results - page 49 / 94
» Partial Behavioural Models for Requirements and Early Design
Sort
View
EWC
2007
60views more  EWC 2007»
15 years 6 months ago
A simulation-based design paradigm for complex cast components
This paper describes and exercises a new design paradigm for cast components. The methodology integrates foundry process simulation, non-destructive evaluation (nde), stress analys...
Stéphane P. A. Bordas, James G. Conley, Bri...
SEMWEB
2007
Springer
16 years 3 days ago
An Approach to Capture Design-induced Error Using an Ontology
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
Injae Shin, Sanghee Kim, Chris A. McMahon
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 10 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
16 years 4 days ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
SEMWEB
2007
Springer
16 years 3 days ago
Form-Function Reasoning for Product Shape Ontology
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
Eric Wang, Yong Se Kim