Sciweavers

9267 search results - page 3 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
SERP
2004
13 years 7 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix
ICSM
1994
IEEE
13 years 10 months ago
An Experiment on the Effect of Design Recording on Impact Analysis
An experimental study is presented in which participants perform impact analysis on alternate forms of design record information. The primary objective of the research is to asses...
Fabio Abbattista, Filippo Lanubile, Gemma Mastello...
EWC
2006
86views more  EWC 2006»
13 years 6 months ago
Object-oriented interactive mechanism design and analysis
We have developed a Ch Mechanism Toolkit for analysis and design of mechanisms. The toolkit was developed using Ch, an embeddable C/C++ interpreter with high-level extensions. The ...
Harry H. Cheng, Dung T. Trang
JSS
2007
109views more  JSS 2007»
13 years 5 months ago
Using Bayesian belief networks for change impact analysis in architecture design
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
Antony Tang, Ann E. Nicholson, Yan Jin, Jun Han
FMOODS
2007
13 years 7 months ago
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
Mark Hills, Grigore Rosu