Sciweavers

6581 search results - page 56 / 1317
» Formalizing Design Patterns
Sort
View
132
Voted
SQJ
2008
96views more  SQJ 2008»
15 years 1 months ago
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
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...
Dae-Kyoo Kim, Wuwei Shen
122
Voted
PFE
2001
Springer
15 years 7 months ago
Quality Attribute Design Primitives and the Attribute Driven Design Method
: This paper discusses the understanding of quality attributes and their application to the design of a software architecture. We present an approach to characterizing quality attr...
Leonard J. Bass, Mark Klein, Felix Bachmann
SBMF
2009
Springer
15 years 9 months ago
Towards Safe Design of Synchronous Bus Protocols in Event-B
Ricardo Bedin França, Leandro Buss Becker, ...
106
Voted
MEMOCODE
2008
IEEE
15 years 9 months ago
H.264 Decoder: A Case Study in Multiple Design Points
Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind...
LARCH
1992
15 years 6 months ago
Using Transformations and Verification in Circuit Design
James B. Saxe, John V. Guttag, James J. Horning, S...