Sciweavers

9739 search results - page 262 / 1948
» Object-Oriented Analysis and Design
Sort
View
ACSW
2006
15 years 8 months ago
Formal analysis of secure contracting protocol for e-tendering
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond...
ETS
2011
IEEE
224views Hardware» more  ETS 2011»
14 years 7 months ago
AVF Analysis Acceleration via Hierarchical Fault Pruning
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
Michail Maniatakos, Chandra Tirumurti, Abhijit Jas...
ACMDIS
2000
ACM
15 years 11 months ago
Sitemaps, Storyboards, and Specifications: A Sketch of Web Site Design Practice
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...
Mark W. Newman, James A. Landay
KBSE
2007
IEEE
16 years 1 months ago
A framework and tool supports for testing modularity of software design
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
Yuanfang Cai, Sunny Huynh, Tao Xie
JSS
2007
75views more  JSS 2007»
15 years 7 months ago
A rationale-based architecture model for design traceability and reasoning
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
Antony Tang, Yan Jin, Jun Han