6581 search results - page 25 / 1317 » Formalizing Design Patterns |
115
click to vote
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
124
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
117
Voted
MCS
2010
Springer
15 years 24 days ago
2010
Springer
121
Voted
CAD
2004
Springer
15 years 2 months ago
2004
Springer
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...