Report icon

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


Access Document


Files:

Authors


Publisher:
OUCL
Publication date:
2009-10-01
URN:
uuid:a4b11f07-cfef-4134-b44a-de4a38d435d8
Local pid:
cs:3338

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP