Economic constraints on public policy

Economics is commonly described as "the science of allocating scarce resources." By contrast, a popular description of politics is "the art of the possible." Both of these descriptions refer to the same central feature of human existence: our wants generally exceed our capacity to satisfy them. However, economic and political approaches to the problem of scarcity are quite different. [Extract from Introduction]

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Educating Clients with speech and language impairments

Speech and language impairments can result in communication disabilities that can affect clients' capacity to read, write and participate in conversations and social situations.