6581 search results - page 25 / 1317 » Formalizing Design Patterns |
ZUM
2005
Springer
14 years 4 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...
CIARP
2010
Springer
13 years 9 months ago
2010
Springer
OOPSLA
2007
Springer
14 years 5 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 ...
MCS
2010
Springer
13 years 9 months ago
2010
Springer
CAD
2004
Springer
13 years 10 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...