A Functional Implementation of the Formal Template Language
There has been growing interest in using the Z notation to describe design patterns and to encourage model driven development, but these are often expressed in terms of instances, rather than in a more general form. Instead of relying on the interpretation of instances, the Formal Template Language...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Report |
| Հրապարակվել է: |
OUCL
2009
|