: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
To take advantage of the ever-increasing volume of diagrams in electronic form, it is crucial that we have methods for parsing diagrams. Once a structured, content-based descripti...
Three dimensional models of anatomical structures are currently used to aid in medical diagnosis, treatment, surgical guidance, and surgical simulation. Limitations on the resolut...
Managers of electronic commerce sites need to learn as much as possible about their customers and those browsing their virtual premises, in order to maximise the return on marketin...