Task RA[1]: Refinement and Abstraction

This task is concerned with the recasting of existing notions of refinement for data and processes in terms of a general and uniform refinement language for heterogeneous spec- ifications provided by DocTip?. It will use data abstraction and other (related) techniques to develop decomposition strategies of complex refinements. For instance, a refinement involving processes and data is decomposed into refinements of data and of processes.

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:42:56