One of the biggest challenges in Domain Specific Modeling is handling the inevitable changes to Domain Specific Language grammars (meta models) as they evolve over time. This paper starts by providing an overview of our use case a high volume Software Product Line using a databased concrete syntax for storing large numbers of statements in a collection of external Domain Specific Languages. It ...

We examine the complexity of testing di erent program constructs. We do this by de ning a measure of testing complexity known as VCP-dimension, which is similar to the Vapnik-Chervonenkis dimension, and applying it to classes of programs, where all programs in a class share the same syntactic structure. VCP-dimension gives bounds on the number of test points needed to determine that a program i...

In recent times, there has been an increase in the number of Natural Language Generation systems that take into consideration a user's inferences. The statements generated by these systems are typically connected by inferential links, which are opportunistic in nature. In this paper, we describe a discourse structuring mechanism which organizes inferentially linked statements as well as stateme...

eb is a trace-based formal language created for the specification of information systems (IS). In this technical report, we present the eb formal language for attribute definitions. Attributes, linked to entities and associations of an IS, are computed in eb by recursive functions on the valid traces of the system. The syntax and the main properties of the language are introduced. Then, we aim ...

Financial crises are associated with reduced volumes and extreme levels of rates for term inter-bank loans, re‡ected in one-month and three-month LIBOR. We explain such stress by modeling leveraged banks’precautionary demand for liquidity. Asset shocks impair a bank’s ability to roll over debt because of agency problems associated with high leverage. In turn, banks hoard liquidity and decrease ...

The main objective of the paper is to assess the potential economic consequences of the G4+1 proposed changes to lease accounting by examining companies in the UK retail sector over the 1994-99 period. The magnitude of the impact of lease capitalisation is assessed by examining the effect on nine key accounting ratios that are used in decision-making and in financial contracts. A ‘constructive ...