Search Sciweavers | Sciweavers

6581 search results - page 56 / 1317

» Formalizing Design Patterns

132

Voted

SQJ
2008

96views more SQJ 2008»

Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies

15 years 1 months ago

Download www.secs.oakland.edu

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

claim paper

Read More »

122

Voted

PFE
2001
Springer

161views Software Engineering» more PFE 2001»

Quality Attribute Design Primitives and the Attribute Driven Design Method

15 years 7 months ago

Download www.sei.cmu.edu

: 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

claim paper

Read More »

click to vote

SBMF
2009
Springer

93views Formal Methods» more SBMF 2009»

Towards Safe Design of Synchronous Bus Protocols in Event-B

15 years 9 months ago

Download www-verimag.imag.fr

Ricardo Bedin França, Leandro Buss Becker, ...

claim paper

Read More »