Report
A Functional Implementation of the Formal Template Language
- Abstract:
-
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 (FTL) has been used with Z as a means of capturing patterns in a framework that generates code on instantiation, thereby allowing reuse at the level of modelling and verification in a formal way. U...
Expand abstract
Actions
Authors
Bibliographic Details
- Publisher:
- OUCL
- Publication date:
- 2009-10-01
Item Description
- UUID:
-
uuid:a4b11f07-cfef-4134-b44a-de4a38d435d8
- Local pid:
- cs:3338
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2009
If you are the owner of this record, you can report an update to it here: Report update to this record