Now showing items 1-10 of 44
The systematic construction of information systems
Process modelling is a vital issue for communicating with experts of the application domain. Depending on the roles and responsibilities of the application domain experts involved, process models are discussed on different ...
A framework for analysing the effect of "change" in legacy code
We propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with “change” and analyse its effect. The approach allows us to capture a snapshot of system’s behaviour over ...
Compositional modelling: The formal perspective
We provide a formal framework within which an Information System (IS) could be modelled, analysed, and verified in a compositional manner. Our work is based on Interval Temporal Logic (ITL) and its programming language ...
Legacy assembler reengineering and migration.