6581 search results - page 30 / 1317 » Formalizing Design Patterns |
116
click to vote
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
: The use of patterns in data management is not new: in data warehousing, data marts are simple conceptual schemas with exactly one core entity, describing facts, surrounded by mul...
111
Voted
TVLSI
2008
15 years 2 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
112
Voted
OOPSLA
1998
Springer
15 years 6 months ago
1998
Springer
The rapid evolution of Design Patterns has hampered the benefits gained from using Design Patterns. The increase in the number of Design Patterns makes a common vocabulary unmanag...
108
click to vote
GI
2001
Springer
15 years 7 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
145
Voted
TACS
2001
Springer
15 years 6 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...